The sets described in this section can help narrow the search of your checker.
Typically a globalset is used in for loop constructions such as the following:
for code in globalset allFunctionCode where code matches // ... further criteria