diff --git a/Lab-Exercise-3/CPP/AEMgr.cpp b/Lab-Exercise-3/CPP/AEMgr.cpp
index c00f6b0..013bc6f 100644
--- a/Lab-Exercise-3/CPP/AEMgr.cpp
+++ b/Lab-Exercise-3/CPP/AEMgr.cpp
@@ -203,15 +203,21 @@ namespace SVF {
 	}
 
 	AEState AbstractExecutionMgr::test6() {
-		//    int main(int argv) {  // argv is an interval  [4, 10]
-		//    int a;
-		//    int b;
-		//    a = argv + 1;
-		//    b = 5;
-		//    if(a > 10)
-		//       b = a;
-		//    assert(b>=5);
-		//    }
+		// int main(int argv) {  // argv is [4, 10]
+		//     int a;
+		//     int b;
+		//     a = argv + 1;
+		//     b = 5;
+		//
+		//     if (a > 10) {
+		//         b = a;
+		//         if (a <= 8)
+		//             b = 0;
+		//     }
+		//
+		//     assert(b >= 5);
+		// }
+
 		AEState as;
 		NodeID a = getNodeID("a");
 		NodeID b = getNodeID("b");
diff --git a/Lab-Exercise-3/Python/AEMgr.ipynb b/Lab-Exercise-3/Python/AEMgr.ipynb
index e1bd024..a8f4599 100755
--- a/Lab-Exercise-3/Python/AEMgr.ipynb
+++ b/Lab-Exercise-3/Python/AEMgr.ipynb
@@ -849,7 +849,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 88,
+   "execution_count": null,
    "id": "d221d14ac9cf5320",
    "metadata": {
     "collapsed": false,
@@ -883,15 +883,21 @@
     "\n",
     "'''\n",
     "// C source code\n",
-    "    int main(int argv) {  // argv is an interval [4, 10]\n",
-    "        int a;\n",
-    "        int b;\n",
-    "        a = argv + 1;\n",
-    "        b = 5;\n",
-    "        if (a > 10)\n",
-    "            b = a;\n",
-    "        assert(b >= 5);\n",
+    "int main(int argv) {  // argv is an interval [4, 10]\n",
+    "    int a;\n",
+    "    int b;\n",
+    "    a = argv + 1;\n",
+    "    b = 5;\n",
+    "\n",
+    "    if (a > 10) {\n",
+    "        b = a;\n",
+    "\n",
+    "        if (a <= 8)\n",
+    "            b = 0;\n",
     "    }\n",
+    "\n",
+    "    assert(b >= 5);\n",
+    "}\n",
     "'''\n",
     "def test6():\n",
     "    mgr = AbstractExecutionMgr()\n",