Update on model checker optimization

modeling/testavatar.xml

src/avatartranslator/AvatarBlock.java

src/avatartranslator/AvatarBlockTemplate.java

src/avatartranslator/AvatarSpecification.java

...lator/directsimulation/AvatarSpecificationSimulation.java

src/avatartranslator/modelchecker/AvatarModelChecker.java

src/avatartranslator/modelchecker/SpecificationBlock.java

src/avatartranslator/modelchecker/SpecificationState.java

src/avatartranslator/touppaal/AVATAR2UPPAAL.java

src/myutil/BoolExpressionEvaluator.java