Class TabulationSolver.Worklist