Proper.CNF is under construction. Refactoring to output satisfying assignment instead of just a boolean