{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"self.scc_annotations[scc_a].universe_compatible_with(self.scc_annotations[scc_b])"}]}
        self.scc_annotations[scc_a].universe_compatible_with(self.scc_annotations[scc_b])
    fn universe_compatible(&self, scc_b: ConstraintSccIndex, scc_a: ConstraintSccIndex) -> bool {
    }