test(tests/lean): remove data.nat dependency