Sentence:The core of the [e1]analyzer[/e1] first identifies the infeasible paths using the constraint propagation [e2]method[/e2].
 e1: analyzer. 
 e2 : method.
Answer: Instrument-Agency(e2,e1)