Symbol: select_return_states_after