4.7.3 借助TCE调试约束