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

-- | only skip groups without annotations
condBraces :: LogicGraph -> Annoted SPEC -> Doc
condBraces lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Bridge {} -> specBraces d
                 _ -> d

-- | only skip groups without annotations
condBraces lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Bridge {} -> specBraces d
                 _ -> d

-- | only skip groups without annotations