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); }