docs: def _should_add_constraints(cls, state):
          """
          Check to see if the current address concretization variable is any of the registered
          constrained_addrs we want to allow concretization for
          """
          expr = state.inspect.address_concretization_expr
          hit_indices = cls._to_indices(state, expr)
  
          for action in state.preconstrainer._constrained_addrs:
              var_indices = cls._to_indices(state, action.addr)
              if var_indices == hit_indices:
                  return True
          return False