add scalacheck sample