internal int MaxNumberRemovableTest([PexAssumeUnderTest] FreeSpace target)
        {
            int result = target.MaxNumberRemovable();

            return(result);
            // TODO: add assertions to method FreeSpaceTest.MaxNumberRemovableTest(FreeSpace)
        }