state transitions cluster__A A __initial __initial->_A _C C _A->_C ^out.source_parent    _A_initial _A_B B _A_initial->_A_B _A_B->_C ^out.source_child