public void Unify_con_eq_con() { ConstantTerm con = new ConstantTerm("ali"); ConstantTerm term = new ConstantTerm("ali"); Assert.IsTrue(con.Unify(term)); }