Function scc_query 

pub fn scc_query(
    node_count: u32,
    same_scc_buf: &str,
    query_set: &str,
    out: &str,
) -> Program

Build an SCC-membership Program.

Inputs:

• same_scc_buf: per-node bitset where bit m is set iff m belongs to the SAME SCC as the query target (host-built from the SCC label vector).
• query_set: per-node bitset of nodes being queried.
• out: per-node bitset; bit n set iff n is in query_set AND in the same SCC as the target.