cycle-checking added to StorageHierarchy