- currently simplification decomposes the AND operands
- simplifies all operands
- runs main simplification
- (re) simplifies all operands which are negated
Idea is to make the recursion as a first step; which could also push negation further down; and skip the simplification at end completely - as its not connected to a structural change.