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