Loop_dependence_analysis