Assertion list for term "passed to identified catch activity".
Results from Ascent++: 1
fault → ReceivesAction → passed to identified catch activity 0.33