加入验证结果反例文件mc-trace.xml，性质文件mc-property.xml，删除废弃状态图xmi文件1.xmi