Variability Containment Logic