- [ ] Extraction with colors - [ ] Colored conditions - [ ] Find dataset of programs to run optimizations on (consider Herbie) - [ ] Find metric