Refactoring while tests

Author: VincenzoArceri

evm-testcases/cfs/while/report.json

@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_program.evm-testcases_cfs_while_while_eth.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "90ms",
-    "end" : "2025-05-19T17:27:01.022+02:00",
+    "duration" : "20ms",
+    "end" : "2025-05-27T10:17:45.686+02:00",
     "expressions" : "6",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2025-05-19T17:27:00.932+02:00",
+    "start" : "2025-05-27T10:17:45.666+02:00",
     "statements" : "16",
     "units" : "0",
     "version" : "0.1",