{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
                let goal = canonical::make_canonical_state(
            Some(DebugSolver::CanonicalGoalEvaluationStep(state)) => {
                    delegate,