public void Unify_str_con() { ConstantTerm term = new ConstantTerm("ali"); StructureTerm s = new StructureTerm("s", 2); Assert.IsFalse(s.Unify(term)); }