Add case of direct communication between HSMs

...ava/tmltranslator/patternhandling/PatternIntegration.java

...translator/patternhandling/SecurityGenerationForTMAP.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/window/JDialogProverifVerification.java