darcs patch: Add dropped STM invariants functions