Simple backup (First instantiation, not fully debugged)

src/main/java/avatartranslator/AvatarBlock.java

src/main/java/avatartranslator/AvatarSpecification.java

...main/java/avatartranslator/AvatarStateMachineElement.java

...vatartranslator/intboolsolver2/AvatarIBSOriginParser.java

...translator/intboolsolver2/AvatarIBSStdAttributeClass.java

...ranslator/intboolsolver2/AvatarIBSStdExpressionClass.java

...ava/avatartranslator/modelchecker/SpecificationBlock.java

...ava/avatartranslator/modelchecker/SpecificationState.java

src/main/java/myutil/intboolsolver2/IBSAttributeClass.java

...myutil/intboolsolver2/IBSClosedFormulaAttributeClass.java

...yutil/intboolsolver2/IBSClosedFormulaExpressionClass.java

...in/java/myutil/intboolsolver2/IBSClosedFormulaParser.java

src/main/java/myutil/intboolsolver2/IBSExpressionClass.java

.../java/myutil/intboolsolver2/IBSOriginExpressionClass.java

src/main/java/myutil/intboolsolver2/IBSOriginParser.java

src/main/java/myutil/intboolsolver2/IBSParamComp.java

src/main/java/myutil/intboolsolver2/IBSParamCompState.java

src/main/java/myutil/intboolsolver2/IBSParamSpec.java

src/main/java/myutil/intboolsolver2/IBSParamSpecState.java

src/main/java/myutil/intboolsolver2/IBSParamState.java