code: def _cond_state_discharge_rule(
      in_avals, out_avals, *args, branches, linear
  ):
      discharged_branches = tuple(
          core.ClosedJaxpr(discharge_state(branch.jaxpr, ())[0], ())
          for branch in branches
      )
      out_vals = cond_p.bind(
          *args, branches=discharged_branches, linear=linear
      )
      out_vals, out_ref_vals = util.split_list(
          out_vals, [len(out_avals)]
      )
      ref_val_iter = iter(out_ref_vals)
      new_invals = []
      for aval in in_avals:
          new_invals.append(
              next(ref_val_iter)
              if isinstance(aval, AbstractRef)
              else None
          )
      return new_invals, out_vals
  
imports: from __future__ import annotations
  import collections
  from collections.abc import Sequence
  import functools
  from functools import partial
  import inspect
  import itertools
  import operator
  from typing import Any, Callable, TypeVar
  from jax.tree_util import tree_flatten, tree_unflatten
  from jax._src import ad_util
  from jax._src import config
  from jax._src import core
  from jax._src import dispatch
  from jax._src import dtypes
  from jax._src import effects
  from jax._src import linear_util
  from jax._src import source_info_util
  from jax._src import util
  from jax._src.state.discharge import register_discharge_rule, discharge_state
  from jax._src.state.types import AbstractRef, RefEffect
  from jax._src.core import ConcreteArray, raise_to_shaped, replace_jaxpr_effects
  from jax._src.interpreters import ad
  from jax._src.interpreters import batching
  from jax._src.interpreters import mlir
  from jax._src.interpreters import partial_eval
  from jax._src.interpreters import xla
  from jax._src.lax import lax
  from jax._src.traceback_util import api_boundary
  from jax._src.util import safe_map, split_list, partition_list
  from jax._src.lib.mlir import ir
  from jax._src.lib.mlir.dialects import hlo
  import numpy
  from jax._src.lax.control_flow.common import _abstractify, _avals_short, _check_tree_and_avals, _initial_style_jaxprs_with_common_consts, _make_closed_jaxpr, _prune_zeros, _typecheck_param
label_desc: Use image node_id 24 for calling a global function with example usage: _cond_state_discharge_rule(in_avals, out_avals) and returns: new_invals,  out_vals