diff --git a/claripy/backends/backend.py b/claripy/backends/backend.py
index fe77ba084..fe68371d5 100644
--- a/claripy/backends/backend.py
+++ b/claripy/backends/backend.py
@@ -55,6 +55,8 @@ class Backend:
     _convert() to see if the backend can handle that type of object.
     """
 
+    # pylint: disable=too-many-positional-arguments
+
     __slots__ = (
         "_op_raw",
         "_op_expr",
@@ -75,10 +77,6 @@ def __init__(self, solver_required=None):
         self._true_cache = weakref.WeakKeyDictionary()
         self._false_cache = weakref.WeakKeyDictionary()
 
-    @property
-    def is_smt_backend(self):
-        return False
-
     @property
     def _object_cache(self):
         try: