✨ Redundant Boolean Conditions

[joocer]

AFTER COST OPTIMIZATION
└─ EXIT
   └─ FILTER (True OR name = 'Saturn')
      └─ READ ($planets) [name]

We can apply these rules:

TRUE OR X => TRUE FALSE OR X => X TRUE AND X => X FALSE AND X => FALSE TRUE XOR X => NOT(X) FALSE XOR X => X

This should be part of the Constant Folding strategy rather than the Boolean Simplification strategy