public void Bind()
{
ListTerm term = new ListTerm();
ListTerm term2 = new ListTerm();
term.Bind(term2);
Assert.AreSame(term, term.Reference());
}
public void Reference()
{
ListTerm term1 = new ListTerm();
ListTerm term2 = new ListTerm();
term1.Bind(term2);
Assert.AreSame(term1, term1.Reference());
}
public void Unify_ref_lis()
{
AbstractTerm term = new AbstractTerm();
ListTerm con = new ListTerm();
Assert.IsTrue(term.Unify(con));
Assert.AreSame(term.Reference(), con.Reference());
Assert.IsTrue(term.IsList);
Assert.IsFalse(term.IsReference);
}