the process_input_dependent_and_resolved_branch has bugs: the active_ptr_branch must be verified before the first comparison.