public void Proceed() { AbstractMachineState state = SetupMachine(); AMProgram program = (AMProgram)state.Program; program.CP = new ProgramNode(); ProceedInstruction i = new ProceedInstruction(); i.Process(null); i.Execute(state); Assert.AreEqual("proceed", i.Name()); Assert.AreEqual(0, i.NumberOfArguments()); Assert.AreSame(program.CP, program.P); }