Fix bug in simplifyLiterals.
Negation and simplification.