布尔值 , ?任意 → 

断言所给布尔值为 True，否则产生事故。事故可用图案标记，若有对应标签则将其压入栈顶。