Extended internal loops check for loops intersections

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarStateMachine.java

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

...vatartranslator/modelchecker/SpecificationActionLoop.java

src/main/java/ui/window/JDialogUPPAALValidation.java