let
help =
"dump the semantic stratified callgraph to the file <filename> in dot format"