Add a new beta option for critical edge splitting, to avoid a problem that