int pnc = get_Proj_proj(selector);
tarval *tv_left = get_Const_tarval(left);
tarval *tv_right = get_Const_tarval(right);
selector_evaluated = eval_cmp_tv(pnc, tv_left, tv_right);
int pnc = get_Proj_proj(selector);
tarval *tv_left = get_Const_tarval(left);
tarval *tv_right = get_Const_tarval(right);
selector_evaluated = eval_cmp_tv(pnc, tv_left, tv_right);