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