在类的代码中，加入一些断言，不是定义契约，仅仅是测试