get_possible_states_expr
slist = get_possible_states_expr(check_assigned_expr_id, ret_value);
slist = get_possible_states_expr(my_used_id, expr->right);
slist = get_possible_states_expr(my_used_id, expr->left);
struct state_list *get_possible_states_expr(int owner, struct expression *expr);