test(tests/lean/run): add additional tests for section parameter/variable and strict implicit argument
test(tests/lean/run): add additional tests for section parameter/variable and strict implicit argument