Definition: Scheduled ancestors

Let $Y$ be a set of terminal output ports. Its scheduled ancestors ${\mathsf{Sch}}^{-}(Y)$ are the external input ports connected to $Y$ by directed paths in the declared predecessor graph.

At an intermediate frontier, ${\mathsf{Sch}}^{-}(Y)$ is interpreted as the set of frontier ports with directed paths to $Y$.