Problem
Write another model program, implementation, and stepper for the newsreader, where each action returns the value of the page state variable at the time the action exits. Write the stepper to check the return values. Make versions of this implementation with the same two defects. Generate a test suite from the model program. Execute the test suite on all three of these implementations. Are the defects revealed earlier in the execution of the test suite?