1domain: "[M] -> { S[a, b] : 0 <= a <= 99 and M <= 2b <= 1 + M }"
2child:
3  schedule: "[M] -> [{ S[a, b] -> [(a)] }]"
4  permutable: 1
5  coincident: [ 1 ]
6