無限ループを禁止すればよくね
必ず有限の回数を実行すれば止まることにすれば 停止問題も解決するし 理論上全組み合わせを調べればバグの有無が証明可能