let e_setfield r f v = match r with | Tsetfield(r0,g,_) when simpl () && LogicId.equal f.f_name g.f_name -> Tsetfield(r0,f,v) | _ -> Tsetfield(r,f,v)