Resolution function in Clause.java now prevents duplicates