state transitions __initial _a a __initial->_a _c c onentry/ ^out.in_c _b b onentry/ ^out.in_b _b->_c _a->_b in.e