'Return a string representation of the model
:param simplify: bool simplify the proof?
:return: str'

def model(self, format=None):

    if (self._result is None):
        raise LookupError('You    have    to    call    build_model()    first    to    get    a    model!')
    else:
        return self._decorate_model(self._model, format)
