Addendum in the metnioned ticket above, Ronald van Kuijk suggests to have a flag end-concurrent which might activate the feature of deleting all other parallel executions in the case there is a multiplicity given. As far as I can see now, this flag would solve my problem. However, in the patch attached to the ticket, I did not see this kind of implementation. Has this issue already been solved in the mean time?