code: def _assert(self, expression: Bool):
          
          assert isinstance(expression, Bool)
          smtlib = translate_to_smtlib(expression)
          self._send('(assert %s)' % smtlib)
docs: Auxiliary method to send an assert