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