def text_or_none(elem):
    return elem.text if elem is not None else None
Retrieve the text content of an XML tag, or None if the element itself is None
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/text_or_none