Verification of Inspector-style Compilations