PROBCORE-388 New method in state space for the evaluation of formulas with a selection of states and for all states