test(tests/lean/extra): more tests for equation elaborator