get_sm_state_expr
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, arg);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, ret_value);
sm = get_sm_state_expr(SMATCH_EXTRA, arg);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_max_id, expr);
sm = get_sm_state_expr(my_min_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, arg);
sm = get_sm_state_expr(my_id, arg);
sm = get_sm_state_expr(check_assigned_expr_id, arg);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, arg_expr);
sm = get_sm_state_expr(my_id, ret_value);
sm = get_sm_state_expr(my_id, arg);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, arg_expr);
struct sm_state *get_sm_state_expr(int owner, struct expression *expr);
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
right_sm = get_sm_state_expr(SMATCH_EXTRA, right);
sm = get_sm_state_expr(link_id, array);
sm = get_sm_state_expr(SMATCH_EXTRA, iter_var);
return get_sm_state_expr(SMATCH_EXTRA, iter_var);
sm = get_sm_state_expr(SMATCH_EXTRA, iter_var);
if (get_sm_state_expr(SMATCH_EXTRA, condition->left) != sm)
return get_sm_state_expr(SMATCH_EXTRA, iter_var);
sm = get_sm_state_expr(SMATCH_EXTRA, iter_var);
if (get_sm_state_expr(SMATCH_EXTRA, condition->left) != sm)
return get_sm_state_expr(SMATCH_EXTRA, iter_var);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, left);
sm = get_sm_state_expr(SMATCH_EXTRA, right);
link = get_sm_state_expr(link_id, arg);
sm = get_sm_state_expr(my_id, expr);
sm = get_sm_state_expr(my_id, expr);