Bugs about active_ptr_branch at the function same_branch_taken_processing: active_ptr_branch has been destroyed somewhere.