debug: * operator repeats all the expression; min_dfa checks not enough; add acceptable states in min-dfa