public void SaveVariable()
{
Choicepoint c = new Choicepoint();
AbstractTerm term = new AbstractTerm();
c.SaveVariable(term);
Assert.AreSame(c["X0"], term);
c["X0"].Assign(new ConstantTerm("ali"));
Assert.AreEqual("ali", c["X0"].Data());
}