in reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/OccurrenceMatcherImpl.kt [53:62]
override fun matches(cst: Constraint, occ: ConstraintOccurrence): Boolean
{
if (cst.symbol() != occ.constraint().symbol()) return false
return zipWhileTrue(cst.arguments(), occ.arguments()) { cstarg, occarg ->
if (cstarg == null) throw NullPointerException("constraint argument can't be null")
if (occarg == null) return false
ptnMatchAny(cstarg, occarg)
}
}