Parameter CountDomain.1-MaxCount

val max : int

must be positive