Update on variable management in Avatar

...ava/avatartranslator/modelchecker/AvatarModelChecker.java

...ain/java/avatartranslator/toexecutable/AVATAR2CPOSIX.java

...ain/java/avatartranslator/toproverif/AVATAR2ProVerif.java

src/main/java/avatartranslator/tosysmlv2/AVATAR2SysMLV2.java

src/main/java/avatartranslator/totpn/AVATAR2TPN.java

src/main/java/avatartranslator/touppaal/AVATAR2UPPAAL.java