'A loop tuple contains a series of IRSB addresses that form a loop. Ideally
it always starts with the first IRSB that we meet during the execution.'

def add_loop(self, loop_tuple):

    self._loops.append(loop_tuple)
