method vexpr e = match e.enode with
| Lval(Mem _, _) -> begin
br := true;
SkipChildren
end
| AddrOf(Var _vi, NoOffset) ->
(* Writing to memory won't change the address of something *)
SkipChildren
| _ -> DoChildren