Code contracts updates 1.5 to 1.7
Missing requires added
Code analysis suggestions