let e_access t i =
    match t with
      | Tupdate(_,j,v) when simpl() && eq_terms i j -> v
      | t -> Taccess(t,i)