Make log messages more understandable.
Change class name 'Verifier' to 'RuleSet'.
Remove unused classes.
Simplify method signatures of TestArrayGenerator interface.
Refactor method signature of TestArrayGenerator.
Uniform constructors of exceptions.
Add test variation for Calc.
Add test variations for Calc.
Change the class name 'DefaultVerifierBuilder' to
'DefaultRuleSetBuilder.