pub fn push_down_not(expr: ExprImpl) -> ExprImpl
Expand Type::Not expressions. e.g. Not(A And B) will become (Not A) Or (Not B)
Type::Not