Before compile
After MIPROv2 compile
Instruction (rewritten by proposer LLM)
Demonstration (bootstrapped from a successful trajectory)