{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"assert!(goal_evaluation.state.is_none())"}]}
                    assert!(goal_evaluation.state.is_none())
                DebugSolver::CanonicalGoalEvaluationStep(_) => {
                }