Generation of GraphViz files from cFLML files