Symbol: get_possible_states_expr