Problem
Write another model program, implementation, and stepper for the newsreader, where each action returns the value of all three state variables as C# out parameters at the time the action exits. Write the stepper to check the out parameters. Make versions of this implementation with the same two defects as in 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?