ITM_EXPR_LE
case ITM_EXPR_LE: /* A <= B */
$$ = expr_binary(ITM_EXPR_LE, $1, $3);
$$ = expr_binary2(ITM_EXPR_LE, $1, $3);