Добавлена ARM_DEDUP_PLAIN_COND_RULE, которое убирает одинаковые члены в условии, применение на каждой стадии вычисления