Candidates for hw-hspec-hedgehog