{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// Iterate over each SCC `S` and ensure that, for each `S1` where `S1: S`,
    /// * Compute
    /// `universe(S) <= universe(S1)`. This executes after