Estadísticas de Supporting the Statistical Analysis of Variability Models by Processing Binary Decision Diagrams