ForkNode.threads

At least two concurrent control flows resulting from this fork.

struct ForkNode
OutEdge[] threads;