def __init__(self):
    super(ExplodedNode, self).__init__()
    self.predecessors = []
    self.successors = []
def __init__(self):
    super(ExplodedNode, self).__init__()
    self.predecessors = []
    self.successors = []