is_universal_needed() not checking if clause requirements require universal
is_universal_required() does not consider the possibility that the universal is listed in clause requirements.
is_universal_required() does not consider the possibility that the universal is listed in clause requirements.