Member predicate ControlFlowNode :: isStart
Holds if this is a start node, that is, the CFG node where execution of a toplevel or function begins.
predicate
isStart
(
)