Ну, на самом деле, противоречия тут нет.
Противоречие есть с другим.
С тем, что анализатор схемы считает макрос функцией, а макрос с лз или обратной связью таковым не является.
Так же, как не является функцией любая схема "помнящая" своё состояние.
Вот поэтому он ("анализатор") и паникует, обнаружив "обратую связь вокруг функции", и подставляет вместо неё ещё одну лз.
Вариант "прозрачности", с сохранением однозначности работы схемы и макросов в схеме и в отдельном редакторе, есть, но он требует другого подхода к макросу. Это не функция, а схема, вставленная в "главную" схему (макроэлемент, объединяющий множество элементов и связей, имеющий условное графическое изображение), и для анализа всей схемы необходимо его каждый раз вставить целиком, после чего уже анализировать полную схему на наличие возможных неоднозначностей и "обратных связей" без лз.