state transitions __initial _start start __initial->_start _done done _start->_done [x == 42]^out.done