В данном случае на месте Result оказывалась действительная строка (по факту, при пустой AnsiLowerCase(msk) возвращалась предыдущая str). Х.з. как оно так получалось - может где-то в стеке оставалась ссылка, что-то не чистилось после предыдущих вызовов для оптимизации.

Строго формально, согласно языку все локальные переменные должны инициализироваться программистом. У компилятора даже есть такое
То-есть, хотя компилятор сам обнуляет строковые переменные, потому как автоматически управляет счетчиком ссылок (а при неинициализированной переменной гарантированно падал бы на этом), но это, всё же, "особенности реализации", на которые не стоит полагаться.