docs: def _grab_concretization_results(cls, state):
          """
          Grabs the concretized result so we can add the constraint ourselves.
          """
          # only grab ones that match the constrained addrs
          if cls._should_add_constraints(state):
              addr = state.inspect.address_concretization_expr
              result = state.inspect.address_concretization_result
              if result is None:
                  l.warning("addr concretization result is None")
                  return
              state.preconstrainer.address_concretization.append((addr, result))