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

-- bridges inside bridges need grouping
condBracesAnd :: LogicGraph -> Annoted SPEC -> Doc
condBracesAnd lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Bridge {} -> specBraces d
                 Extension {} -> specBraces d
                 _ -> d

-- bridges inside bridges need grouping
condBracesAnd lg s = let d = prettyLG lg s in
    case skip_Group $ item s of
                 Bridge {} -> specBraces d
                 Extension {} -> specBraces d
                 _ -> d

-- bridges inside bridges need grouping