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