I wonder if you could accomplish the same with structural search tools like Comby (https://comby.dev/ https://comby.dev/) - with the bonus that you can target s

I wonder if you could accomplish the same with structural search tools like Comby (https://comby.dev/ https://comby.dev/) - with the bonus that you can target specific levels of beating since it's syntax-aware