Converted QuickChecks tests to properties for HTF