public void SetLocalValue()
{
AbstractMachineState state = SetupMachine();
EnvironmentFrame env = new EnvironmentFrame(null, null, 3);
state.E = env;
SetLocalValueInstruction i = new SetLocalValueInstruction();
object[] args = { "X0" };
i.Process(args);
AbstractTerm X0 = (AbstractTerm)state["X0"];
i.Execute(state);
Assert.AreEqual("set_local_value", i.Name());
Assert.AreEqual(1, i.NumberOfArguments());
Assert.AreSame(X0.Dereference(), ((AbstractTerm)state["H"]).Dereference());
}