Jump-thread path not considered: the number of instructions on the path exceeds PARAM_MAX_FSM_THREAD_PATH_INSNS.