org.specs2.scalacheck
checks if the property is true for each generated value, and with the specified parameters
copied from ScalaCheck to be able to inject the proper freqMap pretty
the cause of the exception as a String if there is one