Английский ⇄ Русский +

local assertion ударения
ИТ.	локальное утверждение (содержащееся в теле программы)
мат.	локальное утверждение