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