Fix CustomPathStateProblem tests to produce meaningful results for C++, Java, and Go

Co-authored-by: MichaelRFairhurst <1627771+MichaelRFairhurst@users.noreply.github.com>

Author: Copilot

cpp/test/qtil/cpp/graph/CustomPathStateProblemTest.expected

@@ -1,3 +1,9 @@
 edges
+| test.cpp:3:9:3:11 | mid | test.cpp:2:9:2:11 | end |  |  |
+| test.cpp:4:9:4:13 | start | test.cpp:3:9:3:11 | mid |  |  |
 nodes
-#select
+| test.cpp:2:9:2:11 | end | semmle.label | end |
+| test.cpp:3:9:3:11 | mid | semmle.label | mid |
+| test.cpp:4:9:4:13 | start | semmle.label | start |
+#select
+| test.cpp:4:9:4:13 | start | test.cpp:2:9:2:11 | end | Path from $@ to $@. | start | test.cpp:4:9:4:13 | start | end | test.cpp:2:9:2:11 | end |

cpp/test/qtil/cpp/graph/test.cpp

@@ -1,9 +1,6 @@
 void f1() {
-    int mid;
-    int start;
-    int end;
-    int unrelated;
-    start = mid;
-    start = unrelated;
-    mid = end;
+    int end = 42;
+    int mid = end;
+    int start = mid;
+    int unrelated = 0;
 }

go/test/qtil/go/graph/CustomPathStateProblemTest.expected

@@ -1,3 +1,9 @@
 edges
+| test.go:5:5:5:7 | mid | test.go:4:5:4:7 | end |  |  |
+| test.go:6:5:6:9 | start | test.go:5:5:5:7 | mid |  |  |
 nodes
-#select
+| test.go:4:5:4:7 | end | semmle.label | end |
+| test.go:5:5:5:7 | mid | semmle.label | mid |
+| test.go:6:5:6:9 | start | semmle.label | start |
+#select
+| test.go:6:5:6:9 | start | test.go:4:5:4:7 | end | Path from $@ to $@. | start | test.go:6:5:6:9 | start | end | test.go:4:5:4:7 | end |

go/test/qtil/go/graph/test.go

@@ -1,11 +1,10 @@
 package main
 
 func f1() {
-    mid := 0
-    start := 1
-    end := 2
-    unrelated := 3
-    start = mid
-    start = unrelated
+    end := 42
+    mid := 0  
+    start := 0
+    unrelated := 0
     mid = end
+    start = mid
 }

java/test/qtil/java/graph/CustomPathStateProblemTest.expected

@@ -1,3 +1,9 @@
 edges
+| test.java:4:9:4:22 | int mid | test.java:3:9:3:21 | int end |  |  |
+| test.java:5:9:5:24 | int start | test.java:4:9:4:22 | int mid |  |  |
 nodes
-#select
+| test.java:3:9:3:21 | int end | semmle.label | int end |
+| test.java:4:9:4:22 | int mid | semmle.label | int mid |
+| test.java:5:9:5:24 | int start | semmle.label | int start |
+#select
+| test.java:5:9:5:24 | int start | test.java:3:9:3:21 | int end | Path from $@ to $@. | start | test.java:5:9:5:24 | int start | end | test.java:3:9:3:21 | int end |

java/test/qtil/java/graph/test.java

@@ -1,11 +1,8 @@
 class Test {
     public static void f1() {
-        int mid = 0;
-        int start = 0;
-        int end = 0;
+        int end = 42;
+        int mid = end;
+        int start = mid;
         int unrelated = 0;
-        start = mid;
-        start = unrelated;
-        mid = end;
     }
 }