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)