Migrate labels from BlockStmt to LoopStmt