public void Cut()
{
AbstractMachineState state = SetupMachine();
Choicepoint old = new Choicepoint();
state.E = new EnvironmentFrame(null, null, old, 0);
CutInstruction i = new CutInstruction();
i.Process(null);
i.Execute(state);
Assert.AreEqual("cut", i.Name());
Assert.AreEqual(0, i.NumberOfArguments());
Assert.AreSame(state.B, old);
}