def __init__(self):
    self.definition_counter = collections.defaultdict(int)
    self.prev_definition = collections.defaultdict(dict)
    self.last_definition = collections.defaultdict(dict)
    self.ssa_node = {}
def __init__(self):
    self.definition_counter = collections.defaultdict(int)
    self.prev_definition = collections.defaultdict(dict)
    self.last_definition = collections.defaultdict(dict)
    self.ssa_node = {}