{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.scc_placeholders[scc1]"}]}
                self.scc_placeholders[scc1] = succ_bound;
                // Otherwise, we can reach a placeholder if some successor can.
            }