def add_variable(self, var): self.variables[var.conc_addr] = var bisect.insort(self.addr_list, var.conc_addr)