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