局部断言

local assertion