Implemented abductive_enumerator_t.