The core of the <e1>analyzer</e1> first identifies the infeasible paths using the constraint propagation <e2>method</e2>.
The core of the
The core of the analyzer first identifies the infeasible paths using the constraint propagation method.
<triplet> analyzer <subject> method <object> Instrument-Agency(e2,e1)