Assertion list for term "transfer to non-interruptible code".

Results from Ascent++: 1
execution CapableOftransfer to non-interruptible code 0.25