Member predicate Compilation :: extractionSuccessful
Holds if the extractor succeeded without error.
predicate
extractionSuccessful
(
)