Update POR testcases for LTL message
Update POR testcases for LTL message

Addresses #118

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