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