public void GetStructure() { AbstractMachineState state = SetupMachine(); GetStructureInstruction i = new GetStructureInstruction(); object[] args = { "s/2", "X0" }; i.Process(args); i.Execute(state); Assert.AreEqual("get_structure", i.Name()); Assert.AreEqual(2, i.NumberOfArguments()); AbstractTerm X0 = ((AbstractTerm)state["X0"]).Dereference(); Assert.AreEqual("s", X0.Name); Assert.AreEqual(2, X0.Arity); }