public void FailingContract()
 {
     try
     {
         var value = new UnrelatedType4().ToContract<IStringMethod>();
         Assert.Fail();
     }
     catch (ContractUnsatisfiedException)
     {                
     }
 }
 public void VoidContract()
 {
     var value = new UnrelatedType4().ToContract<IVoidMethod>();
     value.Value();
 }