public void Dereference()
{
ConstantTerm term1 = new ConstantTerm();
ConstantTerm term2 = new ConstantTerm();
ConstantTerm term3 = new ConstantTerm();
term2.Bind(term3);
term1.Bind(term2);
Assert.AreSame(term1, term1.Dereference());
}