Insert 'return []' into quickCheckAll examples to split the module in two and bring the properties into scope