test(tests/lean/run): define ackermann function using recursors