Define reduced MIR program.