completed Conjunction distributor for DNFConverter