Synthesis from examples
Extract examples from passes