{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
        let (var_values, mut external_constraints) =
            self.compute_external_query_constraints(certainty, normalization_nested_goals);
            eager_resolve_vars(self.delegate, (self.var_values, external_constraints));