codemix/contractual — pull request #1 by phpnode (2014-04-28 22:41:03+00:00)
Title: Invariants

Adds support for invariants which run at both the start and the end of a function.