Update SymbolicGenerator.h