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