Scala: QuickCheck assignment completed