Axiom.Runtime.UnitTests._AbstractTerm.Unify_ref_ref C# (CSharp) Метод

        public void Unify_ref_ref()
        {
            AbstractTerm term = new AbstractTerm();
            AbstractTerm another = new AbstractTerm();

            bool result = term.Unify(another);

            Assert.AreSame(term.Dereference(), another);
            Assert.IsTrue(result);
        }