Well for the Specification section rather than the scalacheck one we should try generate the exact problem case, not sure it would make any benefit here.