1:添加两个分析信号,便于在捕获异常和分析;
2:在执行状态中加入一个表达输入约束的变量集合,便于在分析时使用,而不影响到原始约束;