let rec e_getfield r f =
    match r with
      | Tsetfield(r0,g,v) when simpl () -> if LogicId.equal f.f_name g.f_name then v else e_getfield r0 f
      | _ -> Tgetfield(r,f)