Fixed a bug in a_star_based_enumerator_t, and so on.