Refactor Solver333, make a separate class for pruning tables
Improve const-correctness