public void deductStock_WhenAvailable_Test()
        {
            var expected = 4;

            itemsInStock.deductStock(1);

            var stock = itemsInStock.getStock(1);

            Assert.AreEqual(expected, stock);
        }
 public void deductStockTest([PexAssumeUnderTest] ProductStock target, int id)
 {
     target.deductStock(id);
     // TODO: add assertions to method ProductStockTest.deductStockTest(ProductStock, Int32)
 }