StaticContext sc = t.getStaticContext();
sc.setSystemBaseURI(new File(path).toURI());
if (enableStaticAnalysis) {
m.staticAnalysis(sc);
}
GraphConstructionVisitor visualizer = new GraphConstructionVisitor(sc);
m.visit(visualizer, sc);
visualizer.showInFrame();
}