Started procedure to add safety pragmas check to the model-checker

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

...in/java/avatartranslator/modelchecker/SafetyProperty.java

src/main/java/cli/Action.java

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