def __init__(self, ops=None):
        if ops is not None:
            assert len(ops) >= 2, "DoWhile should have at least two children"
        NaryOperator.__init__(self, ops)
Repeatedly execute a sequence of plans until a termination
dataset/ETHPy150Open uwescience/raco/raco/algebra.py/DoWhile.__init__