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