Symbol: ITM_EXPR_NOT