utility to measure equation sizes
jar with problematic methods for analysis

equation explosion happens (DNF)
limit size of DNF formula

 fixes analysis of w3-css-validator.jar