Una instrucción "S2" depende en cuanto a control de "S1" (expresado como formula_1) si y solo si la ejecución de "S2" viene condicionada por "S1".