Repeatedly simplify control flow until convergence, as some simplification steps enable further simplification.