bakame yari yayibwiye ko igomba kwifata nk'umugeni kuri ibi byose akomeje gukorerwa in each cycle all enabled transitions are assumed to be taken