12 schedule: '{ A[] -> [0] }'
18 relation: '{ A[] -> a[] }'
19 reference: __pet_ref_0
23 relation: '{ A[] -> [5] }'
24 reference: __pet_ref_1
29 schedule: '{ B[] -> [1] }'
35 relation: '{ B[] -> a[] }'
36 reference: __pet_ref_2
40 relation: '{ B[] -> [7] }'
41 reference: __pet_ref_3