{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
                let (predicate, binders) = predicate
            for predicate in generic_predicates.iter() {
                    .clone()