code: def get_labels(MEMORY, basic_block):
      
      for cell in MEMORY:
          if cell.is_label:
              label = cell.inst
              LABELS[label] = LabelInfo(label, cell.addr, basic_block)
docs: Traverses memory, to annotate all the labels in the global
      LABELS table