Add example use of ScalaCheck