if expression is not required
recompile
add invariant support
fix trailing returns
update README, mention invariants
recompile
add invariant example
Merge pull request #1 from codemix/invariants

Invariants