Member predicate Flow::ControlFlowNode::isModuleEntry

Whether this flow node is the first in a module

predicate isModuleEntry()