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