- bdd_map on pure positive disjunction - expand to the exact negation-free positive DNF, insert and union on negations and/or implicit :bdd_top Fixes #15517
- bdd_map on pure positive disjunction - expand to the exact negation-free positive DNF, insert and union on negations and/or implicit :bdd_top Fixes #15517