diff --git a/A1/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java b/A1/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
index aa30ef48..3cab9ae0 100644
--- a/A1/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
+++ b/A1/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
@@ -182,9 +182,9 @@ private void dumpResult(JMethod method, String id,
         Object result = resultGetter.apply(method, id);
         if (result instanceof Set) {
             ((Set<?>) result).forEach(e -> out.println(toString(e)));
-        } else if (result instanceof StmtResult<?> StmtResult) {
+        } else if (result instanceof StmtResult<?> stmtResult) {
             IR ir = method.getIR();
-            ir.forEach(stmt -> out.println(toString(stmt, StmtResult)));
+            ir.forEach(stmt -> out.println(toString(stmt, stmtResult)));
         } else {
             out.println(toString(result));
         }
@@ -232,12 +232,12 @@ private void compareResult(JMethod method, String id,
                             " should be included");
                 }
             });
-        } else if (result instanceof StmtResult<?> StmtResult) {
+        } else if (result instanceof StmtResult<?> stmtResult) {
             Set<String> lines = inputs.get(new Pair<>(method.toString(), id));
             IR ir = method.getIR();
             ir.forEach(stmt -> {
                 String stmtStr = toString(stmt);
-                String given = toString(stmt, StmtResult);
+                String given = toString(stmt, stmtResult);
                 for (String line : lines) {
                     if (line.startsWith(stmtStr) && !line.equals(given)) {
                         int idx = stmtStr.length();
diff --git a/A2/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java b/A2/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
index aa30ef48..3cab9ae0 100644
--- a/A2/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
+++ b/A2/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
@@ -182,9 +182,9 @@ private void dumpResult(JMethod method, String id,
         Object result = resultGetter.apply(method, id);
         if (result instanceof Set) {
             ((Set<?>) result).forEach(e -> out.println(toString(e)));
-        } else if (result instanceof StmtResult<?> StmtResult) {
+        } else if (result instanceof StmtResult<?> stmtResult) {
             IR ir = method.getIR();
-            ir.forEach(stmt -> out.println(toString(stmt, StmtResult)));
+            ir.forEach(stmt -> out.println(toString(stmt, stmtResult)));
         } else {
             out.println(toString(result));
         }
@@ -232,12 +232,12 @@ private void compareResult(JMethod method, String id,
                             " should be included");
                 }
             });
-        } else if (result instanceof StmtResult<?> StmtResult) {
+        } else if (result instanceof StmtResult<?> stmtResult) {
             Set<String> lines = inputs.get(new Pair<>(method.toString(), id));
             IR ir = method.getIR();
             ir.forEach(stmt -> {
                 String stmtStr = toString(stmt);
-                String given = toString(stmt, StmtResult);
+                String given = toString(stmt, stmtResult);
                 for (String line : lines) {
                     if (line.startsWith(stmtStr) && !line.equals(given)) {
                         int idx = stmtStr.length();
diff --git a/A3/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java b/A3/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
index aa30ef48..3cab9ae0 100644
--- a/A3/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
+++ b/A3/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
@@ -182,9 +182,9 @@ private void dumpResult(JMethod method, String id,
         Object result = resultGetter.apply(method, id);
         if (result instanceof Set) {
             ((Set<?>) result).forEach(e -> out.println(toString(e)));
-        } else if (result instanceof StmtResult<?> StmtResult) {
+        } else if (result instanceof StmtResult<?> stmtResult) {
             IR ir = method.getIR();
-            ir.forEach(stmt -> out.println(toString(stmt, StmtResult)));
+            ir.forEach(stmt -> out.println(toString(stmt, stmtResult)));
         } else {
             out.println(toString(result));
         }
@@ -232,12 +232,12 @@ private void compareResult(JMethod method, String id,
                             " should be included");
                 }
             });
-        } else if (result instanceof StmtResult<?> StmtResult) {
+        } else if (result instanceof StmtResult<?> stmtResult) {
             Set<String> lines = inputs.get(new Pair<>(method.toString(), id));
             IR ir = method.getIR();
             ir.forEach(stmt -> {
                 String stmtStr = toString(stmt);
-                String given = toString(stmt, StmtResult);
+                String given = toString(stmt, stmtResult);
                 for (String line : lines) {
                     if (line.startsWith(stmtStr) && !line.equals(given)) {
                         int idx = stmtStr.length();
diff --git a/A7/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java b/A7/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
index 96b3f721..08929c16 100644
--- a/A7/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
+++ b/A7/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java
@@ -218,9 +218,9 @@ private void dumpResult(JMethod method, String id,
         Object result = resultGetter.apply(method, id);
         if (result instanceof Set) {
             ((Set<?>) result).forEach(e -> out.println(toString(e)));
-        } else if (result instanceof StmtResult<?> StmtResult) {
+        } else if (result instanceof StmtResult<?> stmtResult) {
             IR ir = method.getIR();
-            ir.forEach(stmt -> out.println(toString(stmt, StmtResult)));
+            ir.forEach(stmt -> out.println(toString(stmt, stmtResult)));
         } else {
             out.println(toString(result));
         }
@@ -268,7 +268,7 @@ private void compareResult(JMethod method, String id,
                             " should be included");
                 }
             });
-        } else if (result instanceof StmtResult<?> StmtResult) {
+        } else if (result instanceof StmtResult<?> stmtResult) {
             Set<String> lines = inputs.get(new Pair<>(method.toString(), id));
             // if the expected input does not contain the results
             // for the given method, just skip
@@ -278,7 +278,7 @@ private void compareResult(JMethod method, String id,
             IR ir = method.getIR();
             ir.forEach(stmt -> {
                 String stmtStr = toString(stmt);
-                String given = toString(stmt, StmtResult);
+                String given = toString(stmt, stmtResult);
                 boolean foundExpeceted = false;
                 for (String line : lines) {
                     if (line.startsWith(stmtStr)) {