mCRL2 trace -> UML SD almost ready, only parsing from file remains.