aco: consider exec empty after divergent continue then divergent break
For:
loop {
if (divergent)
continue
if (divergent)
break
//exec is potentially empty here
loop {
if (divergent)
break
}
}
If a subset of invocations take the continue and then the rest take the break, then exec will be empty after the break.