模型检查-交叉不连接杆件