let rec is_constant_zero e1 = match e1.expr_t with CTTexpConstant (CTTconstInteger x) -> eq_big_int x zero_big_int | CTTexpConstant CTTconstNull -> true | CTTexpCoerce (t,e) -> is_constant_zero e | _ -> false