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