yes, these are blocks that the relooper split up. note however that you can assume that blocks with the same label have identical contents, they are interchangeable. So I think this deoptimization could be removed in the future?