Asserts allNegatedLiteralsVariablesInNonNegatedLiteralsToo.
if allNegatedLiteralsVariablesInNonNegatedLiteralsToo is false.
false