Make sure inner functions get lifted before verification
Repair benchmarks