public void SetConstant()
{
AbstractMachineState state = SetupMachine();
SetConstantInstruction i = new SetConstantInstruction();
object[] args = { "ali" };
i.Process(args);
i.Execute(state);
AbstractTerm H = (AbstractTerm)((AMHeap)state.DataArea).Top();
Assert.AreEqual("set_constant", i.Name());
Assert.AreEqual(1, i.NumberOfArguments());
Assert.AreEqual("ali", H.Data());
}