PSEModel: Also compute the max exit rate only for some subset of states.
A prototype demonstrating model-checking of unnested CSL formulae.

With LOTS of UnsupportedOperationException.