Allows QuickCheck2 properties to be used with the test-framework
package.
