Resolution function now checks for repeating literals and tautologies