test_inputs/flow/multi_source2-tree.ai

   1 sink: "{ S[] -> a[] }"
   2 must_source: "{ T[] -> a[] }"
   3 may_source: "{ U[] -> a[] }"
   4 schedule:
   5   domain: "{ U[]; S[]; T[] }"
   6   child:
   7     sequence:
   8     - filter: "{ T[]; U[] }"
   9     - filter: "{ S[] }"