printNodes :: String -> Set.Set Term -> Doc
printNodes s terms = text "#" <+> text s $+$
    vcat (map ((text "#\t\t" <+>) . pretty) (Set.toList terms))
printNodes :: String -> Set.Set Term -> Doc
printNodes s terms = text "#" <+> text s $+$
    vcat (map ((text "#\t\t" <+>) . pretty) (Set.toList terms))
printNodes s terms = text "#" <+> text s $+$
    vcat (map ((text "#\t\t" <+>) . pretty) (Set.toList terms))