AnyMath 文档
Model Verification
Assertion
检查信号的零值。