sink: { S[] -> a[] }
schedule_map: { S[] -> [] }