UNTIL S$==E はどう見てもおかしいです。 文字列と数字を比較すると3が返ります。 UNTILは式の答えが0じゃないと終わります。 よって、即終了。