let create (config: config) (bound: bound) (statistic : statistic) (state: state) (context: context) : problem_literals =
  {
    config = config;
    bound = bound;
    statistic = statistic;
    state = state;
    context = context;
    problem_literals = LiteralTable.create 16;
    (*index = Index.create 8;*)
    index = Discrimination_tree.create_index false (new problem_literal_data);
    bindings = Bindings.create 128;
    subsumed_clauses = Array.create 32 (-1);
    cached_partial_context_unifiers = 0;
  }