[Fix] CS0067
[Fix] Warning when CodeContracts are installed