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;
}