Test case about HyperStr and UseDemand

which was used by SPJ to reduce my ignorance, so I want to ensure I do
not break it.