}
            }

            allSubstitutors.forEach { substitutor ->
                testContractsOnDeclarationSymbol(symbol, substitutor, testServices)
            }
        }
    }

    private fun KaSession.testContractsOnDeclarationSymbol(
        symbol: KaCallableSymbol,
        substitutor: KaSubstitutor,
        testServices: TestServices,
    ) {
        run {