condBracesTransReduct :: LogicGraph -> Annoted SPEC -> Doc
condBracesTransReduct lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Bridge {} -> specBraces d
                 Extension {} -> specBraces d
                 Union {} -> specBraces d
                 Intersection {} -> specBraces d
                 Local_spec {} -> specBraces d
                 _ -> d

{- |
  generate grouping braces for Within
-}
condBracesTransReduct :: LogicGraph -> Annoted SPEC -> Doc
condBracesTransReduct lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Bridge {} -> specBraces d
                 Extension {} -> specBraces d
                 Union {} -> specBraces d
                 Intersection {} -> specBraces d
                 Local_spec {} -> specBraces d
                 _ -> d

{- |
  generate grouping braces for Within
-}
condBracesTransReduct lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Bridge {} -> specBraces d
                 Extension {} -> specBraces d
                 Union {} -> specBraces d
                 Intersection {} -> specBraces d
                 Local_spec {} -> specBraces d
                 _ -> d

{- |
  generate grouping braces for Within
-}