let
descr =
"dump the syntactic stratified callgraph to the file <filename> in dot format"