test file for JML Contract Composition
Merge pull request #6 from fbenduhn/master

JML Contract Composition