removed default values and added ScalaCheck properties