elif not isinstance(expr.args[1], m2_expr.ExprInt) or int(expr.args[1]) != 0: