Symbol: visit_abnormal_return_insn