Top-level harness for CFG optimization
