gen tests
Intention to simplify boolean expressions that have expressions in them that can be simplified to constants