Tests simplification of boolean NOT in optimizing compiler.