Remove TVar type class
Simplify clauseToHtml'
Run tests for different solver configurations
Simplify findClauseToProp
Manual assignment