Fix compilation against mCRL2 svn rev. ~9825
Fix compilation against mCRL2 svn rev. ~9825

The mCRL2 parser was replaced; we indirectly depend
on this. The fix is backward compatible with the
July 2011 release of mCRL2.
utwente-fmt/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,lordqwerty/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,trolando/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,Sybe/composition,Meijuh/ltsmin,Sybe/composition,alaarman/ltsmin,Meijuh/ltsmin,Sybe/composition,utwente-fmt/ltsmin,buschko/ltsmin,buschko/ltsmin,vbloemen/ltsmin,trolando/ltsmin,buschko/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,Sybe/composition,vbloemen/ltsmin,trolando/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,thedobs/LTSmin,alaarman/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,thedobs/LTSmin,alaarman/ltsmin,alaarman/ltsmin