Consistency checking for the evolution of cardinality-based feature models