Refactored parse cnf methods and added extra methods to classify clauses per literals and variables