* Added the function ConstantSymbolsOf.