new fails property for scalacheck tests