public void Test() { var x = new MichaelRepro3(); var r = x.ReturnEnum(12); Contract.Assert(r != SomeEnum.C); }