Symbol: check_instruction_writes