INPUT: D >----, A --critical--> B `----> C Edge from A to B is called critical when A has 2+ successors and B has 2+ predecessors
See Implementation
INPUT: D >----, A --critical--> B `----> C Edge from A to B is called critical when A has 2+ successors and B has 2+ predecessors