Fixed bug in read_trace
Fixed bug in read_trace

    * Not all state labels are read

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