fn storage_mapping_key_eq( cx: &mut SymCx, read: &StorageMappingKey, write: &StorageMappingKey, ) -> SymBoolExpr