A return represents the the completion of a call of a
A return is interpreted in the following way:
a) All variables created by the interpretation of the procedure start will cease to exist.
b) The interpretation of the procedure-graph is completed and the procedure instance ceases to exist.
c) Hereafter the calling process, service (or procedure) interpretation continues at the node following the call.