1 对现有的分类规则进行重构
2 增加了对重要分类规则的三种检查标注
  a) 目测检查 isEyeChecked
  b) 充要条件检查 isEqvChecked
  c) 边界检查 isEdgeChecked
3 一些杂项规则/属性的调整