Fixed bugs in lhs::a_star_based_enumerator_t.
Revised the format of debugging print.