AVATAR: Handling of private channels for security proof

src/avatartranslator/AvatarRelation.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/avatarbd/AvatarBDPortConnector.java

src/ui/window/JDialogSignalAssociation.java