gf-3.2: testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold
zero succ zero succ (succ zero) succ (succ (succ zero)) succ (succ (succ (succ zero))) succ (succ (succ (succ (succ zero)))) succ (succ (succ (succ (succ (succ zero))))) succ (succ (succ (succ (succ (succ (succ zero)))))) succ (succ (succ (succ (succ (succ (succ (succ zero))))))) succ (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))) succ (succ zero)