pub fn mem_copy_opt( context: &mut Context, _analyses: &AnalysisResults, function: Function ) -> Result<bool, IrError>