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