{"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"let"}]}
            let canonicalized = self.canonicalize_with_free_vars(goal.clone());
        result.goals.iter().all(|goal| {
            self.try_resolve_obligation(&canonicalized).is_some()