Ascent++ | positioned outside the pattern of arms

Assertion list for term "positioned outside the pattern of arms".

Results from Ascent++: 1

prong → ReceivesAction → positioned outside the pattern of arms

0.25