success of First compilation for closed formula

...main/java/myutil/intboolsolver/AvatarIBSAbsAttribute.java

...java/myutil/intboolsolver/AvatarIBSAbsAttributeClass.java

src/main/java/myutil/intboolsolver/AvatarIBSAbsSolver.java

.../java/myutil/intboolsolver/IBSClosedFormulaAttribute.java

.../myutil/intboolsolver/IBSClosedFormulaAttributeClass.java

...ain/java/myutil/intboolsolver/IBSClosedFormulaSolver.java

src/main/java/myutil/intboolsolver/IBSolver.java