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()); }