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