finally выполняется после обработчика  исключения - просто передается управление обратно в пользовательский код. Это можно наблюдать запустив систе у тестов FoxTest - вылетают трапы при неудаче, но тесты продолжают работать, процедуры (из finally) возвращают значения в return expr...