state transitions __initial _A A __initial->_A _C C enter ^out.in_C _B B enter ^out.in_B _A->_C _A->_B