let eq_epath eq_exp ch1 ch2 = match ch1, ch2 with
| Pfield f1, Pfield f2 -> Cilutil.FieldinfoComparable.equal f1 f2
| Pidx i1, Pidx i2 -> eq_exp i1 i2
| _ -> false