Member predicate TopLevel :: isMinified
Holds if this toplevel is minified.
predicate
isMinified
(
)