Storing in a data structure successors and predecessors for each instruction