Use development version of mCRL2 in the installation.
Use property for ABP, not the one copied from SWP.
Use recursive algorithm to solve PBESs, (not the default small progress measures).

While at it, also fix data recording in exception scenario