is_force_checkpoint
force_new_state = env->test_state_freq || is_force_checkpoint(env, insn_idx) ||
n = is_force_checkpoint(env, insn_idx) && sl->state.branches > 0 ? 64 : 3;