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