sink: "{ S[] -> a[] }"
schedule:
  domain: "{ S[] }"