Statistics for Modeling and Analysis of Software Product Line Variability in Clafer