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