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);
}