Assertion list
unhandled exception (subgroup of exception ) → CapableOf
Results from Ascent++: 1
unhandled exception → CapableOf → affect subprogram 0.31