1*1de4e381STobias Grosserdomain: "[M] -> { S2[0]; S1[i0] : i0 >= 0 and i0 <= M }"
2*1de4e381STobias Grosserchild:
3*1de4e381STobias Grosser  context: "[M] -> { [] }"
4*1de4e381STobias Grosser  child:
5*1de4e381STobias Grosser    schedule: "[M] -> [{ S2[i0] -> [(i0)]; S1[i0] -> [(i0)] }]"
6*1de4e381STobias Grosser    options: "[M] -> { atomic[i0] }"
7*1de4e381STobias Grosser    child:
8*1de4e381STobias Grosser      sequence:
9*1de4e381STobias Grosser      - filter: "[M] -> { S1[i0] }"
10*1de4e381STobias Grosser      - filter: "[M] -> { S2[i0] }"
11