axiom Axioms.SortAccountsCellMap : SortAccountsCell → EvmYul.AccountMap

axiom Axioms.SortAccessedStorageCellMap : SortAccessedStorageCell → Batteries.RBSet (EvmYul.AccountAddress × EvmYul.UInt256) EvmYul.Substate.storageKeysCmp

axiom Axioms.SortStorageCellMap : SortStorageCell → EvmYul.Storage

axiom Axioms.SortTransientStorageCellMap : SortTransientStorageCell → EvmYul.Storage