Towards systematic ensuring well-formedness of software product lines