Organize tests' package structure.
Organize method signature of Utils.{checkcond,rethrow}.
Make LisJUtils not to extend Utils(JCUnit core).
Make ConstraintRule not to handle SymbolNotFoundException but let it go.