public void Unify_str_ref() { AbstractTerm term = new AbstractTerm(); StructureTerm s = new StructureTerm("s", 2); Assert.IsTrue(s.Unify(term)); Assert.AreEqual(term.Arity, s.Arity); Assert.AreEqual(term.Name, s.Name); }