An edge in the ControlFlowGraph.

CfgEdge - for helper functions to work with edges.