method vexpr e =
    match (Cil.stripInfo e).enode with
      | StartOf (Var vinfo,_) | AddrOf (Var vinfo,_) ->
          set_addr_taken vinfo ; DoChildren
      | _ ->
          DoChildren