code: def dump_statespace(self, contract: EVMContract = None) -> str:
          
          sym = SymExecWrapper(
              contract or self.contracts[0],
              self.address,
              self.strategy,
              dynloader=DynLoader(
                  self.eth,
                  storage_loading=self.onchain_storage_access,
                  contract_loading=self.dynld,
              ),
              max_depth=self.max_depth,
              execution_timeout=self.execution_timeout,
              create_timeout=self.create_timeout,
              enable_iprof=self.enable_iprof,
          )
  
          return get_serializable_statespace(sym)
docs: Returns serializable statespace of the contract
          :param contract: The Contract on which the analysis should be done
          :return: The serialized state space