public void UnifyVoid() { AbstractMachineState state = SetupMachine(); AMHeap heap = (AMHeap)state.DataArea; UnifyVoidInstruction i = new UnifyVoidInstruction(); state.IsWriteMode = true; object[] args = { "3" }; i.Process(args); i.Execute(state); Assert.AreEqual("unify_void", i.Name()); Assert.AreEqual(1, i.NumberOfArguments()); Assert.IsTrue(((AbstractTerm)heap.Pop()).IsReference); Assert.IsTrue(((AbstractTerm)heap.Pop()).IsReference); Assert.IsTrue(((AbstractTerm)heap.Pop()).IsReference); }