method pp_pred_implies fmt hs p = List.iter (fun h -> Format.fprintf fmt "%a ->@ " self#pp_pred_atom h) hs ; self#pp_pred fmt p