using two decomposition rule app visitors for gap filling: one for
conclusion enumeration (decomposes all subsumers to not miss anything),
the other for adding missing conclusions to TODO (doesn't add
decompositions of negative subsumers to TODO).
no more deapply method in AbstractConclusion