fix(tests/lean): adjust tests to recent changes in the lean libraries
fix(tests/lean): adjust tests to recent changes in the lean libraries