Adding new method in CodeContracts Require + using it in few places
Merge pull request #80 from ialekseev/master

Adding new method in CodeContracts Require + using it in few places