Hi all! I’m currently looking for examples of large refactorings people have done/want to doo in open source projects for our paper on a new code search tool. The special part of this tool: You can search for “x >= low && x < hi” and it will also find “x < low || x >= hi”. More generally, it can find all kinds of semantic variants of whatever you’re searching for, even if it’s spread out over 20 lines, even if you add lots of indirection