正規順序では、「完全に展開し、簡約する」ので
最初にtestを展開しようとする
その時にifが動く(評価される)のであれば、最初の引数0(→x)を評価して、0が返っちゃって完了。
でも、その時ifが動くんだろうか、っていうのが着地しない議論として残ったんじゃなかったかな。。