Added ScalaCheck.