Update on how guards are handled by the proverif code generator

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/ui/AvatarDesignPanel.java

src/ui/CheckingError.java

src/ui/GTURTLEModeling.java

src/ui/window/JDialogProVerifGeneration.java