Why not return `AnalysisResult` here?