ensureAllNegatedLiteralsVariablesInNonNegatedLiteralsToo