Class AbstractFixedPointSolver.Statement