full_symbol_state_map test