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