Fix name of safety model checking test
Fix name of safety model checking test

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