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