Set the predecessors of each instruction.
New algorithm for computing basic blocks also computing ownership.