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()
Holds if this is a start node, that is, the CFG node where execution of a toplevel or function begins.
predicate isStart()