Terminal_and_nonterminal_symbols loading ...