method vexpr e = (* Renormalize the expression tree. *) let postaction e = match e.enode with | AddrOf(Mem e,NoOffset) -> e | _ -> e in ChangeDoChildrenPost (e, postaction)