Моё предположение, опирающееся на вывод из проблемы останова(ки)
Чтобы как можно ближе оценить затраты на газ с учетом изменения состояния блокчейна, надо «проиграть» все-все теоретические возможные варианты ветвлений и оценивать все опкоды по максимуму. Проблема в том, что если это какой-нибудь лоан после свопа вызывамого из лок-контракта после экзекюта дао, вариантов ветвлений ну очень много
И даже в этом случае много остается непредказумого поведения вроде блокхешей или действий других пользователей (и тд и тп), от чего кол-во проигрываемых вариантов растет по экспоненте через множество протоколов
Такое решение явно не стоит тех ожидаемых производимых вычислений и усилий на реализацию, поэтому либо накидывать газ сверху, либо я хз
Принимайте в клуб любителей-теоретиков