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
)