Axiom.Runtime.UnitTests._Instructions.UnifyLocalValue C# (CSharp) Метод

        public void UnifyLocalValue()
        {
            AbstractMachineState state = SetupMachine();

            UnifyLocalValueInstruction i = new UnifyLocalValueInstruction();

            ConstantTerm con = new ConstantTerm("ali");
            state.S = con;

            object[] args = { "X0" };

            i.Process(args);
            i.Execute(state);

            Assert.AreEqual("unify_local_value", i.Name());
            Assert.AreEqual(1, i.NumberOfArguments());
            AbstractTerm  X0 = (AbstractTerm)state["X0"];
            Assert.AreEqual("ali", X0.Dereference().Data());
        }