CodeContracts injections was performed. some methods have been improved.