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