Update test suite for LTL
Update test suite for LTL

Addresses #118

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