Program evaluated to different sequence after minimization

[ckrause]

The random minimizer test failed with the following error:

2025-11-15 18:00:56|ERROR|Program evaluated to different sequence after minimization
before: 2,2,2,2,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9
min $0,4
mul $0,$0
clr $1,1
clr $1,$0
nrt $0,4
bor $0,1
fac $0,1
clr $2,1
mov $26,$0
equ $26,0
add $0,$26
dif $2,$0
mov $26,$0
equ $26,0
add $0,$26
dif $2,$0
ban $2,2
max $0,0
seq $0,12866
equ $2,$2
bin $0,$2
max $0,0
seq $0,135668

after: 2,2,9,9,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103,103
min $0,4
bor $0,1
seq $0,12866
seq $0,135668

libc++abi: terminating due to uncaught exception of type std::runtime_error: Program evaluated to different sequence after minimization

This could be a bug in the optimizer or the minimizer. Please fix it.