pub fn fold_boolean_constant(expr: ExprImpl) -> ExprImpl
fold boolean constants in boolean exprs e.g. (A And false) Or true will become True
(A And false) Or true
True