ループ内にGOTOで飛び込んでもエラーにならないことから推測すると、最初にプログラムを読み込んだ時点でFOR-NEXTなどの対応を取った上で、内部的にIFとGOTOに書き換えているのだと思われます。