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