Assertion list for term "never thrown".
Results from Ascent++: 2
exception → ReceivesAction → never thrown 0.33
hitter → ReceivesAction → never thrown 0.09