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