middle-end: simplify complex if expressions where comparisons are inverse of one...