let create (limit: int) : selection_lookahead =
let candidates =
Discrimination_tree.create_index false (new context_unifier_data)
(* Substitution_tree.create_index (new context_unifier_data)*)
in
{
sl_limit = limit;
sl_size = 0;
sl_candidates = candidates;
}