method pp_pred_named fmt labels p = List.iter (fun label -> Format.fprintf fmt "%a:@," self#pp_id label) labels ; self#pp_pred_atom fmt p