{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<GoalEvaluation<I>, NoSolution> {
        stalled_on: Option<GoalStalledOn<I>>,
        let (normalization_nested_goals, goal_evaluation) =