Restructured the classes.
Added the possibility to choose the grouping of the verification: by entities or by specification