test(tests/lean/run): add section test
fix(frontends/lean): name clash inside section, fixes #181
fix(frontends/lean): name clash inside section, fixes #181