Free_regular_set