Is the following code pattern allowed? ``` { ttsbegin; if (condition) { ttsAbort; return; } ttsCommit; } ``` Now the BalancedTtsStatement.xq rule complains about it.