これはマギーさんの言うようにrepeat〜untilを使うのが便利なパターンですよね。 ちなみに一時変数のtを用意しなくても見つかったときのthenでreturn trueするようにすればいいとも思いますよ。その場合、見つからなかったとき（ループを抜けた最後）はreturn falseにしておく感じです。