override fun provenanceRules()

in reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt [181:193]


    override fun provenanceRules(chunk: Chunk): List<Rule> {
        val rules = mutableListOf<Rule>()
        chunk.justifications().forEach { jn ->
            // hist is sequential, random access can be expensive
            (lookupChunkByEvidence(jn) as? MatchChunk)?.let {
                if (it.match.rule().isProvenance) {
                    rules.add(it.match.rule())
                }
            }
            true
        }
        return rules
    }