GlobTree is located in:

• patternmatching/src/GlobTree.m3
• suplib/src/GlobTree.m3