new_path = 前 + 連番文字変数 + 後;
Exists(new_path) //がfalseなら抜け
連番文字変数 = "(" + 連番カウンタ変数 + ")";
連番カウンタ変数 += 1;

はループ内に入れたか？
ループ内に入れてあれば
> 無限に連番で処理
されるはずだが､というか実際にされているが