Fix parallel Buchi initialization (closes #130)
Fix parallel Buchi initialization (closes #130)
utwente-fmt/ltsmin,trolando/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,trolando/ltsmin,Meijuh/ltsmin,trolando/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin