GreenThumb: superoptimizer construction framework
Conditionally correct superoptimization