bug fixes, final states in composition of automata are not linked with an epsilon transition to the final states