Support different transactions using the same physical transaction having different behaviours

[Gaudeval]

Two user transactions may have the same path (physical transaction) but different behaviours, e.g. with regards to services they interfere with. We can specify the interference, but it does not seem to be taken into account. Either as user transactions are mapped to the same physical one.