Computation of the control dependence at the basic block level