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