Added more cases to Contracts
Merge branch 'master' of https://github.com/SabirAkhadov/From_Alloy_to_C_sharp.git