Characteristic predicate MaybeDirective :: MaybeDirective
MaybeDirective
(
)