1sink: { S[] -> a[] } 2must_source: { T[] -> a[] } 3may_source: { U[] -> a[] } 4schedule_map: { T[] -> [0]; U[] -> [0]; S[] -> [1] } 5