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

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