Handling overflows in the minimizer