fix wrong test fixtures

Author: wadoon

keyext.slicing/src/test/java/org/key_project/slicing/EndToEndTests.java

@@ -116,10 +116,10 @@ void sliceMultipleIterations() throws Exception {
     void sliceJavaProof() throws Exception {
         sliceProof(
             "../../../../../key.ui/examples/heap/verifyThis15_2_ParallelGcd/parallelGcd.proof",
-            2638, 976, true, false).dispose();
+            3245, 1184, true, false).dispose();
         sliceProofOffline(
             "../../../../../key.ui/examples/heap/verifyThis15_2_ParallelGcd/parallelGcd.proof",
-            2638, 976, true, false).dispose();
+            3245, 1184, true, false).dispose();
     }
 
     /**