pub fn simplify_cfg( context: &mut Context<'_>, _: &AnalysisResults, function: Function, ) -> Result<bool, IrError>