test(tests/lean/run/nested_rec.lean): add nested recursion example based on well-founded recursion package