@spec build(Graph.t()) :: Graph.t()

Builds a control dependence graph from a control flow graph.

The control flow graph must have :entry and :exit vertices. Returns a Graph.t() where edges represent control dependence with labels indicating the branch condition.