method vterm t =
    (* Renormalize the term tree. *)
    let postaction t =
      match t.term_node with
        | TAddrOf(TMem t,TNoOffset-> t
        | _ -> t
    in
    ChangeDoChildrenPost (t, postaction)