state transitions cluster__p p cluster__p_status status cluster__p_increment increment __initial __initial->_p _p_status_initial _p_status_counting counting _p_status_initial->_p_status_counting _p_status_done done enter ^out.done _p_status_counting->_p_status_done [i == 2]    _p_increment_initial _p_increment_a a _p_increment_initial->_p_increment_a _p_increment_a->_p_increment_a e [not INSTATE(["/p/status/done"])]^out.inc /i = i + 1