Function try_loop_summarize_with_count 

pub fn try_loop_summarize_with_count(
    cfg_in: &str,
    ranges_in: &str,
    summary_out: &str,
    var_count: u32,
) -> Result<Program, String>

Checked version of [loop_summarize_with_count] for production GPU wrappers.

Errors

Returns an actionable construction error when the variable domain cannot fit the lo/hi slot layout used by the GPU program.