bpf_is_state_visited
int bpf_is_state_visited(struct bpf_verifier_env *env, int insn_idx);
err = bpf_is_state_visited(env, env->insn_idx);