Fixing loop precondition dependency problem.