ValueFlow: Improved simplification inside for-loops