Improved iterative relaxation method reduces computing quantity through eliding process of building Predicate Slices and process of building Input Dependency Sets.

• 改进的迭代松弛法省略了构造谓词片和输入依赖集的过程，减轻了计算量。