Function is_negative_of 

pub fn is_negative_of(not_expr: &Expr, expr: &Expr) -> bool

returns true if not_expr is !expr (bitwise not)