Function reduce

fn reduce(
    isa: &dyn TargetIsa,
    func: Function,
    verbose: bool,
) -> Result<(Function, String)>