Symbol: ITM_EXPR_FALSE