method vterm t =
let preaction t = match t.term_node with
| TAddrOf(TMem ptrt,TIndex(it,TNoOffset)) ->
{ t with term_node = TBinOp (PlusPI, ptrt, it); }
| _ -> t
in
ChangeDoChildrenPost (preaction t, fun x -> x)