そうですね。仕様です！ DEF～ENDステートメント?が終わったら、ステートメント内で使ったラベルや変数などが消滅するのです。