Induction_variable_recognition_and_elimination loading ...