 ] unit-test
 
 [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##branch }
     }
     1
 ] [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##compare-integer-branch f 0 0 cc< }
     } test-branch-folding
 ] unit-test
 
 [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##branch }
     }
     0
 ] [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##compare-integer-branch f 0 0 cc<= }
     } test-branch-folding
 ] unit-test
 
 [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##branch }
     }
     1
 ] [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##compare-integer-branch f 0 0 cc> }
     } test-branch-folding
 ] unit-test
 
 [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##branch }
     }
     0
 ] [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##compare-integer-branch f 0 0 cc>= }
     } test-branch-folding
 ] unit-test
 
 [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##branch }
     }
     0
 ] [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##compare-integer-branch f 0 0 cc= }
     } test-branch-folding
 ] unit-test
 
 [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##branch }
     }
     1
 ] [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##compare-integer-branch f 0 0 cc/= }
     } test-branch-folding
 ] unit-test
 
 [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##load-reference f 1 t }
         T{ ##branch }
     }
     0
 ] [
-    {
+    V{
         T{ ##peek f 0 D 0 }
         T{ ##compare f 1 0 0 cc<= }
         T{ ##compare-imm-branch f 1 f cc/= }


: value-number-bb ( insns -- insns' )
    0 test-bb
    cfg new 0 get >>entry dup cfg set
    value-numbering
    entry>> instructions>> ;

! Folding constants together
[

] unit-test

[
    V{
        T{ ##load-integer f 1 1 }
        T{ ##load-integer f 2 2 }
        T{ ##branch }
    }
    0
] [
    V{
        T{ ##load-integer f 1 1 }
        T{ ##load-integer f 2 2 }
        T{ ##compare-integer-branch f 1 2 cc< }
