{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"#[instrument(skip(self),"}]}
    #[instrument(skip(self), level = "debug")]
    /// (which is assured by iterating over SCCs in dependency order).
    fn compute_value_for_scc(&mut self, scc_a: ConstraintSccIndex) {