Show dataflow state before and after propagation