Function distribute_negation 

pub fn distribute_negation(expr: Expr) -> Expr

bitwise negate a Negative clause input is the clause to be bitwise negated.(args for Negative clause) For BinaryExpr: ~(A & B) ===> ~A | ~B ~(A | B) ===> ~A & ~B For Negative: ~(~A) ===> A For others, use Negative clause