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