let eq_data d1 d2 = match d1, d2 with
  | E3addr lv1, E3addr lv2 -> Cilutil.LogicVarComparable.equal lv1 lv2
  | E3type t1, E3type t2 -> Logic_utils.is_same_type t1 t2
  | _, _ -> false