Term-fold-cond does not work with loop that has upredictable break.
For example, algorithm std::find_if.
It is due to calculating ExactBackedgeTakenCount - the condition is too strong.
If previous basic induction variable has use only inside the loop, then we can replace it and use SymbolicMax to calculate BackedgeTakenCount.