Concatenate 2 concurrent Licenses - CodeProver & BugFinder

I have 2 Polyspace concurrent licenses, R2014b, and I want to concatenate them:

1) Matlab+PolyspaceBugFinder+PolyspaceCodeProver

2) Matlab+PolyspaceBugFinder

I want to install both concurrent licenses on the same server.

How do I install them in a way that is transparent for the user?

For example user A take CodeProver than user B take BugFinder without minding what's behind. Both users A and B have on their machine installed the same version of Polyspace R2014b.