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);
}