Compute a backward step in the flow execution