{- |
   conditional generation of grouping braces for Union and Extension
-}
printGroupSpec :: LogicGraph -> Annoted SPEC -> Doc
printGroupSpec lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Spec_inst {} -> d
                 _ -> specBraces d

{- |
  generate grouping braces for Tanslations and Reductions
-}
printGroupSpec :: LogicGraph -> Annoted SPEC -> Doc
printGroupSpec lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Spec_inst {} -> d
                 _ -> specBraces d

{- |
  generate grouping braces for Tanslations and Reductions
-}
printGroupSpec lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Spec_inst {} -> d
                 _ -> specBraces d

{- |
  generate grouping braces for Tanslations and Reductions
-}