Function range_check 

pub fn range_check(
    node_count: u32,
    interval_hi: &str,
    bound: &str,
    out: &str,
) -> Program

Build a range-check Program. Inputs:

• interval_hi: per-node u32 buffer of interval upper bounds.
• bound: per-node u32 buffer of allowed maxima.
• out: per-node bitset; bit n set iff interval_hi[n] < bound[n].