Applies the source parser and makes sure its result fulfills predicate.
predicate
The condition to check for.
Applies the source parser and makes sure its result fulfills
predicate
.