Variable ControlFlowEdgeTypesConst

The edge types that carry the control flow of the program, all of them pointing the way execution goes. The ControlFlowGraph is a view on them.