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
}