EXPLORED
} else if (insn_state[w] == EXPLORED) {
insn_state[t] = EXPLORED;
if (ex_insn_beg && insn_state[ex_insn_beg] != EXPLORED) {
if (insn_state[i] != EXPLORED) {
if (state[top] & EXPLORED) {
state[top] |= EXPLORED;