public void UnifyConstant()
{
AbstractMachineState state = SetupMachine();
UnifyConstantInstruction i = new UnifyConstantInstruction();
object[] args = { "ali" };
state.S = new AbstractTerm();
i.Process(args);
i.Execute(state);
Assert.AreEqual("unify_constant", i.Name());
Assert.AreEqual(1, i.NumberOfArguments());
Assert.AreEqual("ali", ((AbstractTerm)state.S).Data());
}