Member predicate ControlFlowNode :: isEntryNode
Whether this flow node is the first in its scope
predicate
isEntryNode
(
)