public int NextValue([PexAssumeUnderTest] FibonacciGenerator target)
{
int result = target.NextValue();
return(result);
// TODO: add assertions to method FibonacciGeneratorTest.NextValue(FibonacciGenerator)
}