Added print_symbol_states