ModuleVariableNode
This may result in more nodes, but it should still be bounded by the number of global variables in the source code.
CryptoAlgorithms
CryptoAlgorithmNames