method vexpr e =
let preaction e = match e.enode with
| AddrOf(Mem ptre,Index(ie,NoOffset)) ->
let ptrty = typeOf e in
new_exp (BinOp (PlusPI, ptre, ie, ptrty))
| _ -> e
in
ChangeDoChildrenPost (preaction e, fun x -> x)