[RFC] Verification and (possibly) program synthesis of expression rewriting rules

[masahi]

Halide people did something like that https://dl.acm.org/doi/10.1145/3428234