prove COMPILER_RUN_INV_INL