condBracesWithin :: LogicGraph -> Annoted SPEC -> Doc
condBracesWithin 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
                 _ -> d
{- |
  only Extensions inside of Unions (and) need grouping braces
-}
condBracesWithin :: LogicGraph -> Annoted SPEC -> Doc
condBracesWithin 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
                 _ -> d
{- |
  only Extensions inside of Unions (and) need grouping braces
-}
condBracesWithin 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
                 _ -> d
{- |
  only Extensions inside of Unions (and) need grouping braces
-}