matcher for program dependency graph(PDG)