new HelloWorldExample(stdLib),
new ControlFlowExample(stdLib))) {
Workspace workspace = new Workspace();
Controller controller = new Controller(workspace, new VertexCreatingVisitor());
stdLib.build(controller);
example.createProgram(controller);
for (SerializationFormat serializationFormat : Arrays.asList(DOT, TXT)) {
String outFileName = example.getClass().getName() + "."
+ serializationFormat.name().toLowerCase();