increasing variable priorities for ITE