{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// create files with name of the format `<counter>_<description>.gv`. The counter is
    /// Creates a graphviz representation of the obligation forest. Given a directory this will
    /// global and is maintained internally.