{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"Some(DebugSolver::CanonicalGoalEvaluationStep(state))"}]}
            Some(DebugSolver::CanonicalGoalEvaluationStep(state)) => {
            None => {}
                state.var_values.push(arg.into());