RE: darcs patch: Add dropped STM invariants functions