Extensive verifications were done on the outputs of the variability processing. A set of 430 verification rules were defined and implemented. It allowed the automatic verification of each output result of each module. Such verifications rules including but not limited to range checks, cardinality, nullity conditions allowed to fix a number of bugs and filter incorrect results. On top of that, each module made supplementary verifications that are explained within each of the following sections.