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