When a transaction is to be enlisted, if the transaction is not in a correct state an exception is thrown. This is fine, except that if the transaction happen to already have begun and have acquired locks, these locks will never be released.

TMs can occasionally invalidate a transaction (perhaps a timeout) and leave things in an awkward state without this cleanup.