Fix negation unit tests to take new optimization into account