Are ``symbol_elements`` needed here? Just use the ``SuperCoder::symbols()`` function.