Function live_step 

pub fn live_step(
    shape: ProgramGraphShape,
    frontier_in: &str,
    frontier_out: &str,
) -> Program

Build one backward live-variable propagation step over a reversed graph.