И предложенная замена ничего, по-моему, не даёт — получилось ничуть не проще.
Почему же. Дает. Переменные разделяются.
У понятия "однородное" по отношению к ДУ есть минимум два смысла. Тут упоминали, что минимум 4, но четырех я не знаю. Три могу наскрести. )) Замена эта хороша именно в однородном случае (не том, про который Вы говорите).