public void Test()
 {
   var m1 = new MichaelRepro5();
   Contract.Assert(m1.mIndic == true);
 }
        public void Test()
        {
            var m1 = new MichaelRepro5();

            Contract.Assert(m1.mIndic == true);
        }