Simplification of AND expressions should push negations earlier

• 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.