оценить - никак. придумаете методику - нобелевка обеспечена.
проблема оценки глубины стека так академически и не решена.
как работает стек.
пусть у вас есть элемент с 2 входами.
если этот элемент без памяти (и, или, Add), например, оба операнда помещаются в стек, вызывается фб, один операнд выталкивается, а на место второго - результат.
если фб с памятью - первый операнд в стек, остальные через память. результаты аналогично.
входы могут быть и неявными с т.з. пользователя, например уставки таймеров или счетчиков, но вводятся они аналогично.

соответственно, чем больше промежуточных результатов надо хранить для обработки в последствии - тем больше размер стека, поэтому желательно сокращать число "промежуточных" связей.