RESOLVED
return env->visit_states[type_id - env->btf->start_id] == RESOLVED;
env->visit_states[type_id] = RESOLVED;