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