Why don't we use Incremental Solvers in this algorithm?