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