В Швейцарии нет залогового эффекта у ареста, если я верно помню. Во Франции, если не ошибаюсь, не каждый арест имеет эффект залога, судебная ипотека - это особая мера. Про приоритет арестов налоговых органов ничего не скажу, но, возможно, не появилось бы в НК нормы, если бы не было попытки ввести эффект залога у всякого ареста…