public void SetVariable()
{
AbstractMachineState state = SetupMachine();
SetVariableInstruction i = new SetVariableInstruction();
object[] args = { "X0" };
i.Process(args);
i.Execute(state);
Assert.AreEqual("set_variable", i.Name());
Assert.AreEqual(1, i.NumberOfArguments());
AbstractTerm X0 = ((AbstractTerm)state["X0"]).Dereference();
AMHeap heap = (AMHeap)state.DataArea;
Assert.AreSame(X0, heap.Top());
}