public void Unify_con_ref()
{
AbstractTerm term = new AbstractTerm();
ConstantTerm con = new ConstantTerm("ali");
Assert.IsTrue(con.Unify(term));
Assert.AreSame(term.Data(), con.Data());
}