Вы сами пришли к немаловажному ответу. Полиморфизм говорит нам делить свойства класса на методы так чтобы не было повоторений код, еще здесь обязательна краткость. Т.е. ошибка уже в том если вы допускаете «особенно, если он большой» то в таком случае лучше разбейте этот код на много маленьких методов и получите код где видно будет и два и три возврата без лишних проблем.
Zend_Acl работает не так гибко как хотелось бы, по этому пишу свой контролер и добавляю его в хелпер, при это все права доступа держу в одном массиве который с помощью наследственности проверяет доступ.
я что-то у них на сайте не нашел возможности инсталляции на свой сервер. да и посылка в аппстоп у них помечена как «soon». где смотреть? :)