work in progress

...n/java/avatartranslator/intboolsolver/AvatarIBSolver.java

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

src/main/java/myutil/intboolsolver/IBSAttributes.java

src/main/java/myutil/intboolsolver/IBSParserAPI.java

...rc/test/java/avatartranslator/AvatarIBSStdParserTest.java