<p dir="ltr">How about replacing</p>
<p dir="ltr">throw:T -> T;<br>
                 exit:E -> E;<br>
                 error: Er -> Er</p>
<p dir="ltr">With:</p>
<p dir="ltr">throw:T -> throw(T);<br>
                 exit:E -> exit(E);<br>
                 error: Er -> error(Er)</p>
<p dir="ltr">Does it behave as expected?</p>