Recursion fix by Peter
* Avoid NullPointerException
* Start support of CTMC PRISM models