let e_update r k v =
    match r with
      | Tupdate(r0,k0,_) when simpl () && equal k k0 -> Tupdate(r0,k,v)
      | _ -> Tupdate(r,k,v)