1# Check the decomposition of the topological sort. 2# This decomposition is only performed by the incremental scheduler. 3# OPTIONS: --no-schedule-whole-component 4domain: { A[]; B[]; C[] } 5validity: { A[] -> C[]; B[] -> C[] } 6