writeLG :: HetcatsOpts -> IO ()
writeLG opts = do
    doDump opts "LogicGraph" $ putStrLn $ showDoc logicGraph ""
    if elem JsonOut $ outtypes opts then do
      lG <- lGToJson logicGraph
      writeVerbFile opts { verbose = 2 } (outdir opts </> "LogicGraph.json")
        $ ppJson lG
      else do
      lG <- lGToXml logicGraph
      writeVerbFile opts { verbose = 2 } (outdir opts </> "LogicGraph.xml")
        $ ppTopElement lG
writeLG :: HetcatsOpts -> IO ()
writeLG opts = do
    doDump opts "LogicGraph" $ putStrLn $ showDoc logicGraph ""
    if elem JsonOut $ outtypes opts then do
      lG <- lGToJson logicGraph
      writeVerbFile opts { verbose = 2 } (outdir opts </> "LogicGraph.json")
        $ ppJson lG
      else do
      lG <- lGToXml logicGraph
      writeVerbFile opts { verbose = 2 } (outdir opts </> "LogicGraph.xml")
        $ ppTopElement lG
writeLG opts = do
    doDump opts "LogicGraph" $ putStrLn $ showDoc logicGraph ""
    if elem JsonOut $ outtypes opts then do
      lG <- lGToJson logicGraph
      writeVerbFile opts { verbose = 2 } (outdir opts </> "LogicGraph.json")
        $ ppJson lG
      else do
      lG <- lGToXml logicGraph
      writeVerbFile opts { verbose = 2 } (outdir opts </> "LogicGraph.xml")
        $ ppTopElement lG