Member predicate CFG::ControlFlowNode::isStart

Holds if this is a start node, that is, the CFG node where execution of a toplevel or function begins.

predicate isStart()