The rule 'RULE trace delete participant and exit JVM' fires before 'trace remove committed state' which prevents assertion that the transaction is removed.