sig
  type clauses = Ic.clause list
  val make_eval_plain_clauses :
    Cfg.cfg ->
    Predicate.predicate_table ->
    Term.symbol_table ->
    NegativeUnits.store -> Term.term list -> IcSet.clauses
  val negative_units_to_store :
    NegativeUnits.store -> IcSet.clauses -> IcSet.clauses
  val stratify : IcSet.clauses -> IcSet.clauses list
  val sort_clauses : IcSet.clauses -> IcSet.clauses
  val make_eval_inc_clauses :
    IcSet.clauses -> Predicate.predicate list -> IcSet.clauses
  val idb_predicates : IcSet.clauses -> Predicate.predicate list
  val select_relevant_clauses :
    IcSet.clauses -> Predicate.predicate -> IcSet.clauses
  val split_clauses :
    IcSet.clauses -> IcSet.clauses list * IcSet.clauses * IcSet.clauses
end