LinearScan.splitCriticalEdge

Critical edge is edge between predecessor and successor where predecessor has more that 1 successor and successor has more than 1 predecessor Splitting of this edge is done by inserting new basic block on the edge This new block is then returned successor list of predecessor is updated as well as predecessor list of successor Phi functions are not updated