OPEN - task 39: Test invariants by using assertions 
http://github.com/psturz/ocpjp/issues/issue/39