[wf engine] support for subwf exit point with no destination state: go back to state from which we entered into the subworkflow

(binary:image/png)