diff --git a/src/test/resources/bytecode/javFiles/Inf.jav b/src/test/resources/bytecode/javFiles/Inf.jav
index 65ae38eba..60029949b 100644
--- a/src/test/resources/bytecode/javFiles/Inf.jav
+++ b/src/test/resources/bytecode/javFiles/Inf.jav
@@ -29,21 +29,27 @@ TPH M m(TPH N x, TPH O y, TPH P a)({
     (w)::TPH S = (y)::TPH O;
     (y)::TPH O = (a)::TPH P;
     (b)::TPH T = (a)::TPH P;
+    TPH U c;
+    TPH V d;
+    (c)::TPH U = (v)::TPH R;
+    (d)::TPH V = (v)::TPH R;
     return;
-  })::TPH U
+})::TPH W
 
   Inf()({
     super(());
-  })::TPH X
+  })::TPH Z
 
 }
-//    v::R w::S
+// c::U d::V
+//   \  /
+//   v::R    w::S
 //       \  /
 //  z::Q y::O  b::T
 //    \ /   \  /
 //   x::N  a::P
 
-RESULT Final: [[(TPH O < TPH S), (TPH P < TPH O), (TPH O < TPH R), (TPH P < TPH T), (TPH M = void), (TPH N < TPH O), (TPH N < TPH Q)]]
+RESULT Final: [[(TPH N < TPH O), (TPH R < TPH V), (TPH N < TPH Q), (TPH P < TPH O), (TPH R < TPH U), (TPH M = void), (TPH O < TPH S), (TPH O < TPH R), (TPH P < TPH T)]]
 Simplified constraints: [(TPH O < TPH S), (TPH P < TPH O), (TPH O < TPH R), (TPH P < TPH T), (TPH N < TPH O), (TPH N < TPH Q)]
 m: [(TPH DDV = java.lang.Object), (TPH DDX = java.lang.Object), (TPH DDX < TPH DDV), (TPH N < TPH DDX), (TPH P < TPH DDX)]
 Class Inf: []