Symbol: recover_probed_instruction