Example for ScalaTest with ScalaCheck