Pattern <-> Expression transformations
Synthesis from examples
Extract examples from passes
We don't handle guards, for now
Remove traces of old "passes"
Utilize expressionToPattern in Repairman
Unify Guarded and Simple case
Some benchmarks