symbol_state_map is now a property