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