{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"None"}]}
            None => {}
        match self.as_mut() {
            Some(DebugSolver::CanonicalGoalEvaluationStep(state)) => {