Handle resolvable branches in complete loop unroll heuristic.