':see BaseProverCommand.decorate_proof()'

def decorate_proof(self, proof_string, simplify=True):

    if simplify:
        return self._prover._call_prooftrans(proof_string, ['striplabels'])[0].rstrip()
    else:
        return proof_string.rstrip()
