public class CfgEdge
extends Object
Edge in CFG graph. Edge can be annotated by its role when there are several
edges coming from the node, to be able to reason about them separately (e.g.
it's important which edge is then/else branch in conditional node).