why not model the case completely - first you will have a task for initiator to perform some work, once completed this moves to approval step and if rejected you loop back to the first task for corrections. That way you have clear model that represents the entire flow.
HTH