pub(super) fn storage_access_at( steps: &[CallTraceStep], step_index: usize, ) -> Option<StorageAccess>