{"ast_node_type":"variable","tokens":[{"end":60,"kind":"keyword","start":0,"text":"let"}]}
        let _ctx = if is_chalk_debug() || is_chalk_print() {
    let mut solve = || {
            Some(panic_context::enter(format!("solving {goal:?}")))