Function value_set 

pub fn value_set(
    node_count: u32,
    const_in_buf: &str,
    query_set: &str,
    out: &str,
) -> Program

Build a value-set query Program.

Inputs:

• const_in_buf: per-node bitset where bit n is set iff some constant value reaches the entry of n (host-supplied via constant propagation).
• query_set: per-node bitset of nodes being queried.
• out: per-node bitset; bit n set iff n is in query_set AND has a reaching constant.