added first ScalaCheck tests