{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"if"}]}
        if self.scc_values.add_region(scc, min_choice_scc) {
        debug!(?min_choice, ?min_choice_scc);
            self.member_constraints_applied.push(AppliedMemberConstraint {