Parameter DownwardIntDomain.1-MaxCount

val max : int

must be positive