Optimized generation of subopti atoms for disjunction elimination.