[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

Author: pre-commit-ci[bot]

claripy/backends/backend_vsa/strided_interval.py

@@ -165,6 +165,7 @@ def _lossless_reverse(a):
 # set it to False to allow easy implementation of test cases.
 _allow_dsis_flag = False
 
+
 @contextlib.contextmanager
 def _allow_dsis(flag):
     global _allow_dsis_flag
@@ -177,6 +178,7 @@ def _allow_dsis(flag):
         _allow_dsis_flag = saved
         claripy.backends.vsa.downsize()
 
+
 class StridedInterval(BackendObject, metaclass=ABCMeta):
     """
     A Strided Interval is represented in the following form::