public void PutList()
{
AbstractMachineState state = SetupMachine();
PutListInstruction i = new PutListInstruction();
object[] args = { "X0" };
i.Process(args);
Assert.AreEqual("put_list", i.Name());
Assert.AreEqual(1, i.NumberOfArguments());
i.Execute(state);
AbstractTerm X0 = (AbstractTerm)state["X0"];
Assert.IsTrue(X0.IsList);
}