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