public void UnifyLocalValue()
{
AbstractMachineState state = SetupMachine();
UnifyLocalValueInstruction i = new UnifyLocalValueInstruction();
ConstantTerm con = new ConstantTerm("ali");
state.S = con;
object[] args = { "X0" };
i.Process(args);
i.Execute(state);
Assert.AreEqual("unify_local_value", i.Name());
Assert.AreEqual(1, i.NumberOfArguments());
AbstractTerm X0 = (AbstractTerm)state["X0"];
Assert.AreEqual("ali", X0.Dereference().Data());
}