• b : theory_core.cpp
• boundVarCount : theory.cpp
• debugger : debug.h
• HASH_TABLE_GROW_FACTOR : hash.h
• HASH_TABLE_GROW_THRESHOLD : hash.h
• HASH_TABLE_SIZE : hash.h
• parserTemp : parser.h
• programName : main.cpp
• vc : main.cpp

---