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