Added Contracts group (library) to project.
Committed M2ScoreView Contract with invariants pre and postconditions.