Fixed bug in knowledge base_t.

Improved the performance of lhs::a_star_based_enumerator_t.