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