Different ICFGs will lead to different results about tai-e HOT 6 CLOSED

    @Override
    public Set<ICFGEdge<Stmt>> getInEdgesOf(Stmt stmt) {
-        return inEdges.get(stmt);
+        var results = new TreeSet<ICFGEdge<Stmt>>((e1, e2) -> {
+            Stmt s1 = e1.getSource();
+            Stmt s2 = e2.getSource();
+            JMethod m1 = getContainingMethodOf(s1);
+            JMethod m2 = getContainingMethodOf(s2);
+            if (!m1.equals(m2)) {
+                return m1.toString().compareTo(m2.toString());
+            }
+            return Integer.compare(stmtToCFG.get(s1).getIndex(s1), stmtToCFG.get(s2).getIndex(s2));
+        });
+        results.addAll(this.inEdges.get(stmt));
+        return results;
    }

    @Override
    public Set<ICFGEdge<Stmt>> getOutEdgesOf(Stmt stmt) {
-        return outEdges.get(stmt);
+        var results = new TreeSet<ICFGEdge<Stmt>>((e1, e2) -> {
+            Stmt s1 = e1.getTarget();
+            Stmt s2 = e2.getTarget();
+            JMethod m1 = getContainingMethodOf(s1);
+            JMethod m2 = getContainingMethodOf(s2);
+            if (!m1.equals(m2)) {
+                return m1.toString().compareTo(m2.toString());
+            }
+            return Integer.compare(stmtToCFG.get(s1).getIndex(s1), stmtToCFG.get(s2).getIndex(s2));
+        });
+        results.addAll(this.outEdges.get(stmt));
+        return results;
    }

    @Override
    public Set<Stmt> getNodes() {
-        return Collections.unmodifiableSet(stmtToCFG.keySet());
+        var results = new TreeSet<Stmt>((s1, s2) -> {
+            JMethod m1 = getContainingMethodOf(s1);
+            JMethod m2 = getContainingMethodOf(s2);
+            if (!m1.equals(m2)) {
+                return m1.toString().compareTo(m2.toString());
+            }
+            return Integer.compare(stmtToCFG.get(s1).getIndex(s1), stmtToCFG.get(s2).getIndex(s2));
+        });
+        results.addAll(stmtToCFG.keySet());
+        return results;
    }