propagate - 从 Allium 规范生成测试

根据 Allium 规范生成断言、属性和状态机测试，并将测试义务关联到实现代码。