Function control_dependence 

pub fn control_dependence(
    node_count: u32,
    successor_pdom: &str,
    pdom_n: &str,
    out: &str,
) -> Program

Build a control-dependence query Program. Inputs:

• successor_pdom: per-node bitset where bit n is set iff a post-dominates a successor of n.
• pdom_n: per-node bitset of nodes a post-dominates.
• out: per-node bitset; bit n set iff n is control-dependent on a (= successor_pdom AND NOT pdom_n).