a interleaving end node should have 2 leaving transitions.
one with the name 'back' that has the interleaving start node as
destinationNode. and one with the name 'done' that specifies the
destinationNode in case the interleaving is done.
Alternatively, the back and done transitions can be specified
in this interleave handler.