How about `TXN_RUNNING` -> `TXN_HAS_SNAPSHOT`, and `TXN_ID_ALLOCATED` -> `TXN_HAS_ID`?