Function range_propagate 

pub fn range_propagate(
    defs_in: &str,
    edges_in: &str,
    ranges_out: &str,
) -> Program

Build one forward interval-propagation step.