def __init__(self, msg=None):
        if msg is not None:
            super(ReadOnlyException, self).__init__(msg)
ensures :
dataset/ETHPy150Open rwl/muntjac/muntjac/data/property.py/ReadOnlyException.__init__--crossover with--dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_ensures