[Bug] some dead Aleo Instructions code

[bendyarm]

🐛 Bug Report

Using Leo v2.4.1 (on Leo playground),
this program:

program sample.aleo {
    transition main(public x: field, y: field) -> field {
        if y == 0field {
            return x; 
        } else {
            return x / y;
        }
    }
}

generates the Aleo Instructions code

program sample.aleo;

function main:
    input r0 as field.public;
    input r1 as field.private;
    is.eq r1 0field into r2;
    not r2 into r3;
    div r0 r1 into r4;
    ternary r2 r0 r4 into r5;
    output r5 as field.private;

Note the not r2 into r3 is dead code.

This is new; when I submitted issue#27482
I saw:

function main:
    input r0 as field.public;
    input r1 as field.private;
    is.eq r1 0field into r2;
    div r0 r1 into r3;
    ternary r2 r0 r3 into r4;
    output r4 as field.private;