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