State#isFinal() update