fix bug with epsilon transitions