Symbol: ITM_EXPR_AND