The parallel non-deterministic derivation mode ensures that a single node is deleted by at most one actual rule application. If several rule applications delete the same node, one actual application is chosen pseudo-randomly.