+-- dumpBagDot bags =
+-- do writeFile "a07dump.dot" "digraph {\n"
+-- mapM_ dumpABag (M.assocs bags)
+-- appendFile "a07dump.dot" "shiny_gold [fillcolor = gold1 ]\n"
+-- appendFile "a07dump.dot" "}\n"
+
+-- dumpABag (bag, contents) =
+-- mapM_ (dumpALink bag) (S.toList contents)
+
+-- dumpALink bag (QuantifiedBag n name) =
+-- do let name' = squashName name
+-- let bag' = squashName bag
+-- let txt = bag' ++ " -> " ++ name' ++ "\n"
+-- appendFile "a07dump.dot" txt
+
+-- squashName :: String -> String
+-- squashName name = [if c == ' ' then '_' else c | c <- name]
+
+