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