⚡️ Speed up method AssertCleanup._split_top_level_args by 31% in PR #26 (clean_concolic_tests)

- **Explanation**: 
  - We optimize the character check by using a dictionary, `delimiters`, that maps each character to its corresponding depth adjustment value. This avoids multiple `if-elif` statements and performs a single dictionary lookup.
  - The loop iterates through each character once, providing an efficient way to split the args string. The overall logic and output remain unchanged.

Author: codeflash-ai[bot]

codeflash/code_utils/concolic_utils.py

@@ -46,17 +46,16 @@ def _split_top_level_args(self, args_str: str) -> list[str]:
         result = []
         current = []
         depth = 0
+        delimiters = {",": 0, "(": 1, "[": 1, "{": 1, ")": -1, "]": -1, "}": -1}
 
         for char in args_str:
-            if char in "([{":
-                depth += 1
-                current.append(char)
-            elif char in ")]}":
-                depth -= 1
-                current.append(char)
-            elif char == "," and depth == 0:
-                result.append("".join(current).strip())
-                current = []
+            if char in delimiters:
+                depth += delimiters[char]
+                if char == "," and depth == 0:
+                    result.append("".join(current).strip())
+                    current = []
+                else:
+                    current.append(char)
             else:
                 current.append(char)