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