public void SetVoid()
{
AbstractMachineState state = SetupMachine();
AMHeap heap = (AMHeap)state.DataArea;
object[] args = { "3" };
SetVoidInstruction i = new SetVoidInstruction();
i.Process(args);
i.Execute(state);
Assert.AreEqual("set_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);
}