public void Deallocate()
{
AbstractMachineState state = SetupMachine();
AMProgram program = (AMProgram)state.Program;
ProgramNode CP = new ProgramNode();
EnvironmentFrame env = new EnvironmentFrame();
state.E = new EnvironmentFrame(env, CP, 2);
DeallocateInstruction i = new DeallocateInstruction();
i.Execute(state);
Assert.AreEqual("deallocate", i.Name());
Assert.AreEqual(0, i.NumberOfArguments());
Assert.AreSame(CP, program.CP);
Assert.AreSame(env, state.E);
}