全局断言

global assertion