method vterm term = match term.term_node with | TAddrOf(TVar{lv_origin=Some vinfo},_) | TStartOf(TVar{lv_origin=Some vinfo},_) -> set_addr_taken vinfo ; DoChildren | _ -> DoChildren