Merge branch 'then-label'
Merge remote-tracking branch 'upstream/master'
add Invariant a la rspec-given.
Merge pull request #9 from ronen/invariants

New feature: Invariant