Assertion list
unchecked exception (subgroup of exception ) → HasProperty
Results from Ascent++: 1
unchecked exception → HasProperty → more appropriate 0.25