Fixed the bug related to lhs::depth_based_enumerator_t.
Fixed the bug that evidences of each node are not calculated correctly.