Error in irscc: If we have an unreachable loop, or a loop
resulting from an exiting endless recursion, irscc finds
no tail ==> issues an assertion.
Error in irscc: If we have an unreachable loop, or a loop
resulting from an exiting endless recursion, irscc finds
no tail ==> issues an assertion.