JML Contract Composition

JML Contract Composition