Расширить тесты для equality propagation трансформации, рефакторинг

1. Для этой трансформации тесты написаны в "старом стиле" с ручным конструированием плана.
2. У меня есть подозрение, что данная трансформация работает эффективно, только когда равенства в цепочке AND идут подряд, без разрывов в виде неравенств. Если это так, то такое поведение следует исправить