public void unify_2()
{
AbstractMachineState state = SetupMachine();
_p = new UnifyPredicate();
AbstractTerm X0 = (AbstractTerm)state["X0"];
AbstractTerm X1 = (AbstractTerm)state["X1"];
X1.Assign(new ConstantTerm("ali"));
Verify("=", 2);
_p.Execute(state);
Assert.AreEqual(X0.Data(), X1.Data());
Assert.AreEqual("ali", X0.Data());
}