let is_pointer_or_null exp = 
  match (type_of exp).ct_ty with
    Tpointer _ -> true
  | Tbuiltin _ -> 
      is_constant_zero exp
  | _ -> false