The following is an invalid µOCCAM program. The count in a replicated alternation must be constant.
/public/cs3/web/ipptests/non-constant-count.reject
INT i: INT non.const = 0: INT another.non.const = 9: [10]CHAN some.input: INT x: INT y: ALT i = non.const FOR another.non.const -- the count must be constant some.input[i] ? x SEQ y := x + 2 stdout ! y non.const := non.const + 1