Check for constants before calling ABC's negation operation.
tweak GHC options