public static DFTNode getPythonNode(DFTGraph g) { DFTNode root = g.getNodeByName("P>python.exe"); return(root); }
public static DFTGraph getReachableGraphPython(DFTGraph g) { DFTNode root = g.getNodeByName("P>python.exe"); return(g.getReachabilityGraphFWD(root)); }