Thinned out some of the mCRL2 specific functions