Remove AST split method (#564)

claripy/ast/base.py

@@ -845,15 +845,6 @@ def swap_args(self, new_args: tuple[ArgType, ...], new_length: int | None = None
     # Other helper functions
     #
 
-    def split(self, split_on: Iterable[str]) -> list[ArgType]:
-        """
-        Splits the AST if its operation is `split_on` (i.e., return all the arguments). Otherwise, return a list with
-        just the AST.
-        """
-        if self.op in split_on:
-            return list(self.args)
-        return [self]
-
     # we don't support iterating over Base objects
     def __iter__(self) -> NoReturn:
         """

claripy/frontend/constrained_frontend.py

@@ -122,8 +122,10 @@ def simplify(self):
         if len(to_simplify) == 0:
             return self.constraints
 
-        simplified = simplify(And(*to_simplify)).split(["And"])  # pylint:disable=no-member
-        self.constraints = no_simplify + simplified
+        simplified = simplify(And(*to_simplify))
+        simplified_split = list(simplified.args) if simplified.op == "And" else [simplified]
+
+        self.constraints = no_simplify + simplified_split
         return self.constraints
 
     #
@@ -169,7 +171,7 @@ def _split_constraints(constraints, concrete=True):
 
         splitted = []
         for i in constraints:
-            splitted.extend(i.split(["And"]))
+            splitted.extend(list(i.args) if i.op == "And" else [i])
 
         log.debug("... splitted of size %d", len(splitted))