get_states_for_symbols() test
More state alphabet tests