Symbol: return_state_to_var_sym