Moved the PREDECESSORS to a slot in the instruction.
Code for finding strongly connected components.
Use new MIR graph modification functions.