let check (selection_lookahead: selection_lookahead) (literal: literal) : bool =
  let index =
    selection_lookahead.sl_candidates#find (Term.request_negated_literal ~insert_db:false literal)
  in
    match index#find_unifiable ~p_preserving:true literal.Term.atom with
      | None ->
          false
            
      | Some _ ->
          true