Fixing System.Diagnostics.Contracts reference