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