(5) это ведь невозможно отследить на этапе компиляции. Например
Если а=0 Тогда
НачатьТранзакцию();
КонецЕсли;
Если б=0 Тогда
НачатьТранзакцию();
КонецЕсли;
как вы определите? Ошибка здесь или нет?
Требовать и эффективности, и гибкости от одной и той же программы — все равно, что искать очаровательную и скромную жену... по-видимому, нам следует остановиться на чем-то одном из двух. Фредерик Брукс-младший