let reach_epsilon maq states = reach_star maq states epsilon