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