new regions updates
Merge branch 'master' of https://github.com/Erronsing/HT-RCUP-LTLMP

Conflicts:
	rcz.aut
	rcz.ltl
	rcz.smv
	rcz.spec
	rcz_decomposed.regions
wat