{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
            let root_predicate = error.root_obligation.predicate;
        for error in errors {
            if root_predicates.insert(root_predicate) {