method vpredicate_named p =
    match p.content with
      | Papp(f,labels,_) -> self#hint f labels ; Cil.DoChildren
      | _ -> Cil.DoChildren