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