Member predicate ImportTimeScope :: entryEdge
Holds if the control flow passes from outer
to inner
when this scope starts executing
predicate
entryEdge
(
ControlFlowNode
outer
,
ControlFlowNode
inner
)