[joosters]

Ah, you're completely right, the compiler couldn't hid or assume away the aborts as they would now be part of the spec.