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)