This optimizes the design similarly to Control Set Reduction except that candidates are selected by the tool automatically.