Enumeration CfgVertexTypeConst

The explicit exit-nodes to ensure the hammock property

something like an addition, ...

Marks a break point in a construct (e.g., between the name and the value of an argument, or the formals and the body of a function)

something like an if, assignment, ... even though in the classical sense of R they are still expressions