Misc improvement: correctly normalize NOT when condition is a constant condition.
Unit test to ensure expected behavior in case of NOT(true) / NOT(false).