canonical_symbol_state_map test