Revert "ValueFlow: Refactor the for-loop handling. Use abstract interpretation."

This reverts commit 894a65b0b10b9672cac445a98bd4caa3b4cc3491.