handleEdge
fun handleEdge(currentEdge: Edge<Node>, currentState: State<Node, IdentityHashMap<Node, IdentitySet<Node>>>): State<Node, IdentityHashMap<Node, IdentitySet<Node>>>
This method is executed for each EOG edge which is in the worklist. currentEdge is the edge to process, currentState contains the state which was observed before arriving here.
This method modifies the state for the next eog edge as follows:
If currentEdge starts in a BranchingNode, the end node depends on the start node. We modify the state to express that "the end node depends on the start node and is reachable through the path starting at the end node".
For all other starting nodes, we copy the state of the start node to the end node.
Returns the updated state and true because we always expect an update of the state.