8179 "The core of the analyzer first identifies the infeasible paths using the constraint propagation method ."