Added fixed attributes for scalacheck