Fix trace writing in symbolic tool
Fix trace writing in symbolic tool

TODO: ltstrans does not except the vector-based trace
alaarman/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,buschko/ltsmin,alaarman/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,trolando/ltsmin,buschko/ltsmin,vbloemen/ltsmin,Sybe/composition,trolando/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,Sybe/composition,alaarman/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,Sybe/composition,lordqwerty/ltsmin,Sybe/composition,buschko/ltsmin,trolando/ltsmin,Meijuh/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,Meijuh/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin