Function loop_summarize_via 

pub fn loop_summarize_via<F>(
    dispatch: &F,
    cfg_in: &[u32],
    ranges_in: &[u32],
    var_count: u32,
) -> Result<Vec<u32>, String>
where
    F: Fn(&Program, &[Vec<u8>], Option<[u32; 3]>) -> Result<Vec<Vec<u8>>, String>,