{"ast_node_type":"variable","tokens":[{"end":39,"kind":"keyword","start":0,"text":"let"}]}
            let mut preds = vec![pred];
        for (pred, root, _ob) in unsatisfied_predicates {
            if let Some(root) = root {