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

succ (succ (succ zero))