Boogie has no doNotUseLabels flag any more
Boogie has no doNotUseLabels flag any more

So I removed it from Corral as well.

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral