Fixing wording
Adding optional debug output
Adding limit to linked in redundant clause total lits