Fix in write_imca_trans which caused a problem with non-det. transitions
Fix in write_imca_trans which caused a problem with non-det. transitions

Meijuh/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,trolando/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,alaarman/ltsmin,trolando/ltsmin,alaarman/ltsmin,trolando/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin