method pp_term_update fmt r k v =
    Format.fprintf fmt "@[<hv 2>%a@,[%a <-@ %a]@]" 
      self#pp_term_atom r self#pp_term k self#pp_term v