add reasonable stop condition for minization