Conceptual bug fix in negation elimination.