Added expected result option in safety pragmas, T or F at the start of the pragma

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

...anslator/modelcheckervalidator/ModelCheckerValidator.java

src/main/java/ui/AvatarDesignPanelTranslator.java

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