Add an "optimized DNF" translation (slower, but gives smaller DNFs).

Add an "optimized DNF" translation (slower, but gives smaller DNFs). #112