sig
  type aux
  val make_aux :
    Cfg.cfg ->
    Predicate.predicate_table ->
    Term.symbol_table -> NegativeUnits.store -> Ic.Aux.aux
end