in reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ReteRuleMatcherImpl.kt [357:366]
override fun update(nodes: UnionFindLinkedList<ReteNode>, introTrail: Trail, introNodes: MutableMap<Int, MutableList<ReteNode>>): Boolean {
introNodes.remove(occurrence.identity)?.let {
for (n in it) {
n.invalidate()
}
}
introTrail.remove(occurrence.identity)
// [nodes] are cleared from invalidated nodes later lazily
return false
}