I finalized the test case I previously provided and used dbx to discover that
the infinite loop appears to be in {EXCEPTION}.is_throwing.