public void PutXVariable()
{
AbstractMachineState state = SetupMachine();
PutVariableInstruction i = new PutVariableInstruction();
object[] args = { "X0", "X1" };
i.Process(args);
i.Execute(state);
Assert.AreSame(state["H"], ((AbstractTerm)state["X0"]).Dereference());
Assert.AreSame(state["H"], ((AbstractTerm)state["X1"]).Dereference());
Assert.AreEqual("put_variable", i.Name());
Assert.AreEqual(2, i.NumberOfArguments());
}