1. A method comprising: for an integrated circuit model, identifying a lazy cut-point frontier and an eager cut-point frontier; computing a ratio of one of reconverging and non-reconverging variables to a total number of variables for each of the identified lazy and eager cut-point frontiers; and selecting from the lazy and eager cut-point frontiers based on the computed ratios.