     { } init-value-numbering
     value-numbering-step ;
 
+! Copy propagation
 [
     {
         T{ ##peek f V int-regs 45 D 1 }

    } test-value-numbering trim-temps
] unit-test

[
    {
        T{ ##copy f V int-regs 48 V int-regs 45 }
        T{ ##compare-imm-branch f V int-regs 45 7 cc/= }
    }
] [
    { V int-regs 45 } init-value-numbering
    {
        T{ ##copy f V int-regs 48 V int-regs 45 }
        T{ ##compare-imm-branch f V int-regs 48 7 cc/= }
    } value-numbering-step
] unit-test

    } test-value-numbering
] unit-test

! Compare propagation
[
    {
        T{ ##load-reference f V int-regs 1 + }
