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