added constantSymbols and variableSymbols