Walk e in execution order, fixing it according to state.
state == 0: when rdinc is found, remove it, advance to state 1
state == 1: continue, replacing instances of v with v+increment,
when second rdinc is found, advance to state 2
state == 2: continue
Walk e in execution order, fixing it according to state. state == 0: when rdinc is found, remove it, advance to state 1 state == 1: continue, replacing instances of v with v+increment, when second rdinc is found, advance to state 2 state == 2: continue