Re: darcs patch: Add dropped STM invariants functions