method vterm t =
    match t.term_node with
      | Tapp(f,labels,_) -> self#hint f labels ; Cil.DoChildren
      | _ -> Cil.DoChildren