internal int MaxNumberRemovableTest([PexAssumeUnderTest] FreeSpace target) { int result = target.MaxNumberRemovable(); return(result); // TODO: add assertions to method FreeSpaceTest.MaxNumberRemovableTest(FreeSpace) }