let create config state context candidates process_close process_assert space_registry = {
  config = config;
  state = state;
  context = context;
  space_registry = space_registry;

  candidates = candidates;
  process_close = process_close;
  process_assert = process_assert;

  literal_to_abstraction = LiteralTable.create 1023;
  abstraction_to_lemmas = AbstractionTable.create 1023;
  lemmas = ClauseTable.create 51;

  subsumed = Discrimination_tree.create_index false (new index_data);

  propagations = [];
}