GlobTree is located in:
suplib/src/GlobTree.i3
patternmatching/src/GlobTree.i3