{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"("}]}
                (
            match (this, *goal_evaluation_step.state.unwrap()) {
                    DebugSolver::GoalEvaluation(goal_evaluation),