Rewrote the computation of the control dependences. The previous version wasn't able to compute the backedges found in loop structures.