Assertion list for term "handled on case".
Results from Ascent++: 2
return → ReceivesAction → handled on case 0.53
exception → ReceivesAction → handled on case 0.30