docs: def _translate_cond(self, c): #pylint:disable=no-self-use
          """
          Checks whether this condition can be supported by FastMemory."
          """
          if isinstance(c, claripy.ast.Base) and not c.singlevalued:
              raise SimFastMemoryError("size not supported")
          if c is None:
              return True
          else:
              return self.state.solver.eval_upto(c, 1)[0]