{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"self.scc_values.elements_contained_in(lower_bound_scc).next().is_none()"}]}
                self.scc_values.elements_contained_in(lower_bound_scc).next().is_none()
                let lower_bound_scc = self.constraint_sccs.scc(lower_bound);
            }