gf-3.1.6: testsuite/runtime/eval/lazy.gfs

i -src testsuite/runtime/eval/lazy.gf
pt -compute min infinity (succ (succ (succ zero)))