模型检查 - 相同节点