message for no-deadlock
message for no-deadlock

also modified usage of --trace

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