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