{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"self.member_constraints_applied.push(AppliedMemberConstraint"}]}
            self.member_constraints_applied.push(AppliedMemberConstraint {
        if self.scc_values.add_region(scc, min_choice_scc) {
                member_region_scc: scc,