set_equiv_state_expr
set_equiv_state_expr(my_id, arg_expr, &unallocated);
void set_equiv_state_expr(int id, struct expression *expr, struct smatch_state *state);