Fixed const-related warnings in mcrl-greybox.c
Fixed const-related warnings in mcrl-greybox.c

vbloemen/ltsmin,alaarman/ltsmin,thedobs/LTSmin,buschko/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,Sybe/composition,lordqwerty/ltsmin,trolando/ltsmin,buschko/ltsmin,buschko/ltsmin,buschko/ltsmin,trolando/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,thedobs/LTSmin,lordqwerty/ltsmin,Sybe/composition,alaarman/ltsmin,Sybe/composition,utwente-fmt/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,Sybe/composition,lordqwerty/ltsmin,alaarman/ltsmin,thedobs/LTSmin,alaarman/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin