loop limit

src/tmltranslator/TMLRequest.java

src/tmltranslator/toavatar/TML2Avatar.java

src/ui/GTURTLEModeling.java

src/ui/window/JDialogProVerifGeneration.java