public static void main(String[] args) throws Exception {
UntilInteractionFilter untilInteractionFilter = new UntilInteractionFilter("VisitorSymbolicEvaluator", "visitCtInvocation", 2);
InteractionModelObserver modelObserver = getInteractionDiagramFactory().createInteractionModelObserver();
modelObserver.setInstanceFilter(createInstanceFilter((args.length > 2) ? args[2] : null));
modelObserver.setInteractionFilter(untilInteractionFilter);
InteractionLauncher launcher = getInteractionModelFactory().createLauncher();
launcher.getModelView().addModelObserver(modelObserver);
launcher.run(args);
System.out.println("done");
}