Run through all the symbols whose name is undefined. Build a variable name, uniquify it, and rename the variable. \param base is the base index to start at for generating generic names
source not stored for this graph (policy: none)
no test coverage detected