Fix some bug in exploring multiple paths (but still buggy).
The use of active_ptr_branch in analysis functions is preferred because the active_nearest_checkpoint can be disabled in rollback (e.g. when the rollback_with_input_replacement is called).