{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"state"}]}
                state
            Some(DebugSolver::CanonicalGoalEvaluationStep(state)) => {
                    .current_evaluation_scope()