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