Function chalk_solve::clauses::program_clauses_that_could_match

pub fn program_clauses_that_could_match<I: Interner>(
    db: &dyn RustIrDatabase<I>,
    goal: &UCanonical<InEnvironment<DomainGoal<I>>>,
) -> Result<Vec<ProgramClause<I>>, Floundered>

Returns a set of program clauses that could possibly match goal. This can be any superset of the correct set, but the more precise you can make it, the more efficient solving will be.