Refactorred  ExtendedSMVGenerator.xtend at  Take2\org.xtext.osy.extendedSMV\src\org\xtext\osy\generator