Predicate functionEntry
Holds if entry
is the entry point of a function.
Import path
import cpp
predicate
functionEntry
(
ControlFlowNode
entry
)