new testing constructors for StorageDatabase and Logic