improved flagging of uncheckable blocks in abstract loop unwinding.