let
reach_epsilon maq states = reach_star maq states epsilon