sort of working

src/avatartranslator/AvatarTermFunction.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/tmltranslator/TMLMapping.java

src/tmltranslator/TMLModeling.java

src/tmltranslator/toavatar/TML2Avatar.java

src/ui/GTMLModeling.java

src/ui/tmlad/TMLADDecrypt.java

src/ui/tmldd/TMLArchiBUSNode.java