public override AbstractTerm Dereference() { return this; }
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()); }