public void Unify_str_lis() { StructureTerm s = new StructureTerm("s", 2); ListTerm l = new ListTerm(); Assert.IsFalse(s.Unify(l)); }