Update on dependency graph generation: reducing avatar spec

modeling/DIPLODOCUS/SmartCardProtocol.xml

src/main/java/avatartranslator/AvatarBlock.java

src/main/java/avatartranslator/AvatarDependencyGraph.java

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarStateMachine.java

src/main/java/ui/window/JDialogAvatarModelChecker.java