solve search-replace problem for concurrent modification of the same file

[TeenSpirit1107]

• important for the robustness of concurrent modification of one file, which is crucial to function-level parallelism

TODO

• perhaps refer to how cursor do this
• fuzzy match -- perhasp not reliable. if so, needs to ban this.