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