Revised the search procedure of lhs::a_star_based_enumerator_t.
Refuctored lhs::a_star_based_enumerator_t.