Asserts allHeadVariablesInNonNegatedLiterals.
if allHeadVariablesInNonNegatedLiterals is false.
false