Implemented normalizeClauseSet which removes duplicate literals and clauses
Implemented resolution algorithm
Removed debug symbols