method vterm t = match t.term_node with | TAddrOf(TVar lv,_) | TStartOf(TVar lv,_) -> incr_addr_taken (var_type_of_lvar lv); DoChildren | _ -> DoChildren