Member predicate MustFlowConfiguration :: allowInterproceduralFlow
Holds if this configuration allows flow from arguments to parameters.
predicate
allowInterproceduralFlow
(
)