'Modify and return the proof string
:param valuation_str: str with the model builder\'s output
:param format: str indicating the format for displaying
:return: str'

def _decorate_model(self, valuation_str, format=None):

    return self._command._decorate_model(valuation_str, format)
