Update on syntax checker of TML

src/main/java/tmltranslator/TMLChoice.java

src/main/java/tmltranslator/TMLSyntaxChecking.java

src/main/java/ui/GTMLModeling.java